Чтобы определить выполнимость логической формулы с помощью таблиц истинности, нужно: 1

1. Выписать функцию алгебры логики, расставить в ней скобки согласно старшинству операций, определить порядок вычислений. 1
2. В зависимости от числа аргументов функции составить шаблон таблицы, куда внести все возможные наборы переменных (для 2 аргументов — 4 набора, для 3 аргументов — 8 набор, для 4 — 16 и так далее). 1
3. Последовательно по подформулам (выражениям в скобках) вычислить значение функции при каждом наборе аргументов и внести в последний столбец таблицы. 1
4. Сделать выводы по полученному вектору значений (последнему столбцу): является ли функция тождественно ложной, истинной или выполнимой. 1

Формула называется выполнимой, если она принимает значение 1 хотя бы при одном наборе значений переменных. 4