В алгебре логики высказывания обозначают буквами