1) 1.11.17 (дополнительно к заданию в задачнике, приведите 2 строки, которые допускаются автоматом, и 2 строки, которые не допускаются автоматом
2) Построенную в 1.11.17 характеристическую функцию проверьте на то, является ли она базисом. Если не является, дополните до базиса. В полученном базисе постройте 0,1, отрицание, дизъюнкцию (или конъюнкцию
3) Для функции из 1.11.17 постройте мнимальную ДНФ, КНФ и полином Жегалкина
4) Проверьте правильность следующих модусов категорического силлогизма Аристотеля: Barbara, Cilarent, Darii, Bocardo с помощью метода резолюции и кругов Эйлера
5) 2.8.
6) 2.8.1
7) Докажите с использованием метода резолюции справедливость следующи
рассуждений, приведенных в книге [8]
а) Некоторые птицы, гордящиеся своим хвостом, не могут петь. Ни одна птица
кроме павлина, не может гордиться своим хвостом. Значит, некоторы
павлины не могут петь
б) Все львы свирепы. Некоторые львы не пьют кофе. Следовательно, некоторы
из тех, кто пьет кофе, не свирепы
в) Ни одно ископаемое животное не может быть несчастно в любви. Устриц
может быть несчастна в любви. Следовательно, некоторые устрицы – н
ископаемые животные
г) Некоторые лампочки светят плохо. Лампочки предназначены для того, чтоб
светить. Следовательно, некоторые вещи, предназначенные для того, чтоб
светить, светят плохо
д) Лишь тот, кто храбр, достоин славы. Некоторые хвастуны – трусы
Следовательно, некоторые хвастуны недостойны славы
е) Все козлята прыгают. Ни одно молодое животное не прыгает, если оно н
здорово. Следовательно, все козлята здоровы
ж) Некоторые козы любят сено. Ни одна собака сена не любит. Значит
некоторые собаки – не козы
з) Те, кто хоть что-то учил, решили некоторые задачи. Андрей не решил н
одной задачи. Значит, он не учил ничего
7
и) Все рыбаки - любители приврать. Все священники соблюдают заповеди
Никто не может и соблюдать заповеди, и при этом врать. Значит, ни оди
рыбак не священник
к) Не все политики мошенники. Все мошенники умны. Значит, некоторы
политики глупы
л) Студенты - любители покушать. Некоторые студенты худые. Не все те, кт
любит покушать, студенты. Значит, некоторые любители покушать н
являются худыми студентами
м) Все мафиози жестоки. Некоторые чеченцы жестоки. Следовательно
некоторые чеченцы – мафиози
н) Все шутки предназначены для того, чтобы смешить людей. Ни одн
постановление Думы не является шуткой. Следовательно, ни одн
постановление Думы не предназначено для того, чтобы смешить людей.