Контрольные по ИИС

Вариант 12

Задание 1. Построение таблиц истинности. Построить таблицу истинности для заданной формулы.

Задание 3. Представить в ДНФ и в КНФ следующие формулы

Задание 4 Формализовать представленные рассуждения в виде формул алгебры логики

Если экзаменатор строг, то экзамен трудно сдать. Экзаменатор строг или студенты плохо посещают занятия. Если студенты плохо посещают занятия, то плохо работает администрация факультета. Однако администрация работает хорошо. Значит, экзамен трудно сдать.

Задание 4 Формализовать представленные рассуждения в виде формул алгебры логики

Если экзаменатор строг, то экзамен трудно сдать. Экзаменатор строг или студенты плохо посещают занятия. Если студенты плохо посещают занятия, то плохо работает администрация факультета. Однако администрация работает хорошо. Значит, экзамен трудно сдать.

Задание 9 III. Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции.