ЛОГИЧЕСКАЯ ФОРМУЛА
С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой 
Определение логической формулы : 
1.	Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы. 
2.	Если А и В — формулы, то , (А • В), (А v В), (А ®   B), ( А « В ) — формулы. 
3.	Никаких других формул в алгебре логики нет. 
Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно истинными формулами или тавтологиями 
Некоторые формулы принимают значение “ложно” при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно ложными формулами или противоречиями. 
Если две формулы при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными