Как с помощью таблиц истинности определить выполнимость логических формул?

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

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

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