3. Задание на практическую работу

а) для 1-го варианта:

Доказать с помощью таблиц истинности доказать основные законы логических операций:

1. Законы ассоциативности

(x٧y) ٧z = x٧(y٧z)

(x٨y) ٨z = x٨(y٨z)

2. Построить таблицы истинности для следующих формул:

¬(АВ) = ¬А  ¬В

X(YvZ)=XYvXZ

3. Составить СДНФ для функции

(X٧Y)  (Y٧Z)

б)для 2-го варианта:

Доказать с помощью таблиц истинности доказать основные законы логических операций:

1. Закон дистрибутивности

x٨(y٧z) = (x٨y)٧(x٨z)

x٧(y٨z) = (x٧y)٨ (x٧z)

2. Построить таблицу истинности

А  В = ¬АВ

(XY)Z=X(YZ)

3. Составить СДНФ для функции

4. Порядок выполнения работы:

Для выполнения практической работы необходимо:

1. Изучить материал, изложенный в данном руководстве и соответствующий материал по лекционному курсу.

2. Получить у преподавателя задание.

3. Выполнить задание.

4. Подготовить ответы на контрольные вопросы.

5. Защитить практическую работу.

5. Контрольные вопросы:

1. Дать определения: дизъюнкции, конъюнкции, импликации.

2. Дать определение высказывания.

3. Привести примеры составных высказываний.

4. Привести алгоритм построения ДНФ и КНФ.

5. Привести алгоритм построения СДНФ и СКНФ.