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