высказывание - грамматически правильное повествовательное предложение о котором есть смысл говорить, что оно истинно или ложно
высказывания представляются в виде логических формул над логическими переменными, которые преобразуются по определенным правилам
Буквы обозначают логические (двоичные) переменные,которые принимают только два значения -"ложь" и "истина". Знаки операций обозначают логические операции (логические связки)
операции алгебры логики: конъюнкция, дизъюнкция, отрицание, импликация, эквивалентность, неравнозначность, стрелка Пирса, штрих Щеффера