[dimedovich]

Задание такое: исследовать выполнимость формулы логики высказываний методом резолюций.

Рисунок

Нашел кнф.
дизъюнктами будут А,неС,D
Как применить правило резолюций, и найти отсюда резольвенту?


И еще задание:
Построить машину Тьюринга, которая вычисляет импликацию.
Я понял так. На ленте будут две ячейки, со значениями 0 или 1 и их надо сравнивать. В итоге должна быть одна ячейка со значением 0 или 1.
q(1)0 -> q(2)R - эта запись корректна? значение в первой ячейки сотрется?(просто уже не помню МТ)))
q(2)1 -> q(0)1H
q(2)0 -> q(0)1H

q(1)1 -> q(3)R
q(3)1 -> q(0)1H
q(3)0 -> q(0)0H

@темы: Математическая логика

Comments

[dimedovich]

По первому заданию разобрался.
Так как среди текущего множества дизъюнктов нет таких, к которым можно применить правило резолюции, то множество дизъюнктов выполнимо, и, значит, исходная формула не выполнима.