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