С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой.
Определение логической формулы:
Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы.
Если А и В — формулы, то , (А • В), (А v В), (А ® B), (А “ В) — формулы.
Никаких других формул в алгебре логики нет.
Некоторые формулы принимают значение “истина” при любых значениях истинности, входящих в них переменных. Такие формулы называются тождественно истинными формулами или тавтологиями.
Некоторые формулы принимают значение “ложно” при любых значениях истинности, входящих в них переменных. Такие формулы называются тождественно ложными формулами или противоречиями.
Если две формулы при одинаковых наборах значений, входящих в них переменных, принимают одинаковые значения, то они называются равносильными.
- Видеоустройства ПЭВМ и их основные характеристики
- Контрольная работа по информатике № 3
- Видеоадаптер VGA. Принцип работы
- Контрольная работа по информатике № 5
- АБСУРД
- Архитектура персональных компьютеров IBM PC
- ДАВЫДОВА КОНЦЕПЦИЯ ПОСТРОЕНИЯ НАЧАЛЬНОГО КУРСА МАТЕМАТИКИ