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