Логическая формула

ЛОГИЧЕСКАЯ ФОРМУЛА

С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой

Определение логической формулы :

1. Всякая логическая переменная и символы тАЬистинатАЭ (тАЬ1тАЭ) и тАЬложьтАЭ (тАЬ0тАЭ) тАФ формулы.
2. Если А и В тАФ формулы, то , (А тАв В), (А v В), (А Во Ва B), ( А Вл В ) тАФ формулы.
3. Никаких других формул в алгебре логики нет.

Некоторые формулы принимают значение тАЬистинатАЭ при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно истинными формулами или тавтологиями

Некоторые формулы принимают значение тАЬложнотАЭ при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно ложными формулами или противоречиями.

Если две формулы при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными

Ва

Вместе с этим смотрят:

Логические элементы
Логический элемент И
Логический элемент ИЛИ
Логический элемент И-НЕ и ИЛИ-НЕ