Файл: Контрольная работа 1 Задание 1 Построим таблицу истинности для формулы алгебры высказываний и приведём её к сднф и скнф двумя способами.docx

Скачать файл
Заказать решение

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 28.03.2024

Просмотров: 18

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.




¬
(
0
∨
¬
Z
∧
¬
X
∧
Y
∨
¬
Z
∧
¬
Y
∧
X
∨
¬
Z
∧
¬
Y
∧
Y
)




¬
(
¬
Z
∧
¬
X
∧
Y
∨
¬
Z
∧
¬
Y
∧
X
∨
¬
Z
∧
¬
Y
∧
Y
)




¬
(
¬
Z
∧
¬
X
∧
Y
∨
¬
Z
∧
¬
Y
∧
X
∨
¬
Z
∧
0
)




¬
(
¬
Z
∧
¬
X
∧
Y
∨
¬
Z
∧
¬
Y
∧
X
∨
0
)




¬
(
¬
Z
∧
¬
X
∧
Y
∨
¬
Z
∧
¬
Y
∧
X
)




¬
(
¬
Z
∧
¬
X
∧
Y
)
∧
¬
(
¬
Z
∧
¬
Y
∧
X
)




(
¬
(
¬
Z
)
∨
¬
(
¬
X
)
∨
¬
Y
)
∧
¬
(
¬
Z
∧
¬
Y
∧
X
)




(
¬
(
¬
Z
)
∨
¬
(
¬
X
)
∨
¬
Y
)
∧
(
¬
(
¬
Z
)
∨
¬
(
¬
Y
)
∨
¬
X
)




(
¬
(
¬
Z
)
∨
¬
(
¬
X
)
∨
¬
Y
)
∧
(
¬
(
¬
Z
)
∨
Y
∨
¬
X
)




(
¬
(
¬
Z
)
∨
¬
(
¬
X
)
∨
¬
Y
)
∧
(
Z
∨
Y
∨
¬
X
)




(
¬
(
¬
Z
)
∨
X
∨
¬
Y
)
∧
(
Z
∨
Y
∨
¬
X
)




(
Z
∨
X
∨
¬
Y
)
∧
(
Z
∨
Y
∨
¬
X
)

Находим СКНФ.

(
Z
∨
X
∨
¬
Y
)
∧
(
Z
∨
Y
∨
¬
X
)


Задание 2

x → (y  z),z → x  y, x  z ⊨ x → z

Способ 1

Построим таблицу истинности для гипотез и вывода.

(
X
→
¬
(
Y
∨
Z
)
)
∨
(
Z
→
(
X
∧
Y
)
)
∨
(
X
∧
Z
)




X




Y




Z




Y
∨
Z




¬
(
Y
∨
Z
)




X
→
¬
(
Y
∨
Z
)




X
∧
Y




0
0
0
0
1
1
0

0
0
1
1
0
1
0

0
1
0
1
0
1
0

0
1
1
1
0
1
0

1
0
0
0
1
1
0

1
0
1
1
0
0
0

1
1
0
1
0
0
1

1
1
1
1
0
0
1

Смотрите также файлы