1)Проверить полноту системы логических функций, используя критерий Поста.
Заполнение таблицы Поста должно быть обоснованным. Если система не
полна, то достроить ее до полной. Далее к системе добавить функции {0, ¬}
(константу 0, отрицание) Из полученного множества функций выбрать все
полные подсистемы.
Функции:
x1 ? x2 & x3;
x1 x2 ? x2 x3 ? x1 x3;
x1 ? ¬x2 & x3.
2)Записать рассуждение в логической символике, обосновать выбор логических
связок
Проверить правильность рассуждения методом Куайна
Проверить правильность рассуждения методом редукции
Рассуждение:
Если человек дальтоник, то ему запрещается водить автомобиль и он не может
рисовать цветные картинки. Человек рисует цветные картинки, но ему запрещено
водить автомобиль. Значит, у человека нет дальтонизма.
3)Проверить общезначимость формулы методом резолюций
Формула:
(?x?yQ(x, y)) ? ?xQ(x, y)
Григорий
СПБГМТУ
Все вовремя и без лишних слов. Все как на примере, все замечания исправил без лишних вопро...
Дмитрий
Югорский Государственный Университет
Исполнитель выполнил работу раньше срока, Помогал защитить задачи у преподавателя, задачи ...
Богдан
МГТУ Станкин
Сделал быстро К-3 по термеху, буквально опубликовал заказ и через пол часа его принял испо...
Екатерина
БГТУ «Военмех» имени Д.Ф.Устинова
Спасибо большое! Помимо помощи с графиком также помогли разобраться с ошибками в решении))