Элементы алгебры логики и формулы