Равносильные формулы

Булевы функции

Так как каждое высказывание задается на множестве {0,1}, то любая формула отображает свои значения на множество {0,1}. Таким образом, формула логики высказываний определяет на множестве {0,1} логическую функцию со значениями 0,1. Эти функции получили название булевых.

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

Обозначение равносильности:

Пример:

Φ = и Φ = q.

Их таблицы истинности:

р	q	Ф1 =		Ф2 = q

Сравнивая значения столбца Φ и Φ , приходим к выводу, что Φ равносильно Φ , то есть Φ Φ .

Дата добавления: 2014-01-06