Мне трудно распечатать таблицу истинности для логики первого порядка c.
Задачи:
Написать таблицу предикатов Пролога (F, U), которая получает один в качестве входной правильно сформированной формулы в логике высказываний c F e удовлетворяют строки таблицы истинности формулы F, которые имеют значение U. Формула F выражается функциональными символами not / 1, и / 2 и или / 2, константами t (для истины) и f (для false), любыми круглыми скобками и использованием свободных переменных в качестве символов предложения.
Пример ? - таблица (и (P, или (Q, P)), U)
P = t, Q = f, U = t; P = t, Q = t, U = t; P = f, Q = f, U = f; P = f, Q = t, U = f;