Формулы

Пусть - множество булевых функций. Формулой над F называется выражение либо переменная, либо формула над F.

F называется базисом формулы, f – главной (внешней) операцией, t_i – подформулами.

Всякой формуле однозначно соответствует некоторая функция f. Это соответствие задается алгоритмом интерпретации, который позволяет вычислить значение функции при заданных значениях переменных.

Зная таблицы истинности для функций базиса можно вычислить таблицу той функции, которую реализует данная формула.

Примеры.

1.

x1	x2	x1 x2

Функция реализует дизъюнкцию на базисе .

2.

x1	x2	x1~ x2

Функция реализует дизъюнкцию на базисе .

Таким образом каждая формула определяет некоторую логическую функцию, которую можно представить в виде таблицы истинности для этой формулы. Если в формуле имеется n переменных, то возможны 2ⁿ различных истинностных значений для этой формулы. Следовательно, таблица истинности будет иметь 2ⁿ строк.

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