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