Как обозначаются высказывания в алгебре логики?

В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита.

Рассмотрим два простых высказывания:

А = «Два умножить на два равно четырем».  В = «Два умножить на два равно пяти».