Так как каждое высказывание задается на множестве {0,1}, то любая формула отображает свои значения на множество {0,1}. Таким образом, формула логики высказываний определяет на множестве {0,1} логическую функцию со значениями 0,1. Эти функции получили название булевых.
Формулы Φ и Φ называются равносильными, если они принимают одинаковые значения при одинаковых наборах значений высказывательных переменных, входящих в эти формулы.
Обозначение равносильности:
Пример:
Φ = и Φ = q.
Их таблицы истинности:
р
q
Ф1 =
Ф2 =q
Сравнивая значения столбца Φ и Φ , приходим к выводу, что Φ равносильно Φ , то есть ΦΦ .
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление