С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой
Определение логической формулы :
Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно истинными формулами или тавтологиями
Некоторые формулы принимают значение “ложно” при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно ложными формулами или противоречиями.
Если две формулы при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными