Будем пользоваться следующими символами A, B, C, ... , X, Y, Z ...
– переменные высказывания, 0, 1, И, Л – const, Ù, Ú, ®, «,
– символы соответствующих логических операций.
Дадим определение формулы алгебры высказываний:
1) отдельно стоящая буква A, B, C, ... , X, Y, Z ... – формула.
2) если А, В – формулы, то формулами являются и ( 
), ( 
), (АÙВ), (АÚВ), (А®В), (А«В).
3) Других формул нет.
Очевидно, сложное высказывание выше приведенного примера задано формулой S.
Две формулы алгебры высказываний называются равносильными, если на всех одинаковых наборах значений составляющих переменных высказываний они принимают одинаковые значения 1 или 0.
