Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
При низкой оригинальности работы "Методы решений задач логики высказываний, логики предикатов и реляционной логики", Вы можете повысить уникальность этой работы до 80-100%
