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

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

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

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