Домашние задания: Другие предметы

Помогите пожалуйста решить!!!

1) у импликации последний приоритет, посему
(x & y) → x = ¬(x & y) v x = ¬x v ¬y v x = 1
(т.к. из ¬x и x одно всегда истинно - закон исключённого третьего)
2)
x → (y → x) = ¬x v (¬y v x) = 1
3)
(¬y → ¬x) → (x → y) = ¬(y v ¬x) v (¬x v y) = 1
(как дизъюнкция выражения с его отрицанием)
4)
((x → y) & (x → ¬y)) → ¬x = ¬((¬x v y) & (¬x v y)) v ¬x = ¬(¬x v y) v ¬(¬x v y) v ¬x = (x & ¬y) v (x & y) v ¬x = x v (y & ¬y) v ¬x = 1
5) надеюсь, принцип понятен, буду расписывать менее подробно, сразу убирая все импликации
¬(¬x v (¬y v z)) v (¬(x & y) v z) = ¬(¬x v ¬y v z) v (¬x v ¬y v z) = 1
6)
¬(¬(x & y) v z) v (¬x v (¬y v z)) = ¬(¬x v ¬y v z) v (¬x v ¬y v z) = 1
7)
¬((¬x v y) & (¬y v z)) v (¬x v z) = ¬(¬x v y) v ¬(¬y v z) v ¬x v z = (x & ¬y) v (y & ¬z) v ¬x v z
Внесём ¬x под первую скобку, z - под вторую, и упростим:
(1 & (¬x v ¬y)) v ((y v z) & 1) = ¬x v ¬y v y v z = ¬x v 1 v z = 1
8)
¬(¬x v z) v ¬(¬y v z) v (¬(x v y) v z) = (x & ¬z) v (y & ¬z) v (¬x & ¬y) v z = (x & y) v ¬z v (¬x & ¬y) v z = 1
(т.к. z v ¬z = 1)
9) отличается одной буквой от (8)
¬(¬x v y) v ¬(¬y v z) v (¬(x v y) v z) = (x & ¬y) v (y & ¬z) v (¬x & ¬y) v z = (y & ¬z) v ¬y v z = (1 & (¬y v ¬z)) v z = ¬y v ¬z v z = 1
Макс Сафонов
Макс Сафонов
26 066
Лучший ответ
Макс Сафонов 10)
¬(¬x v (¬y v z)) v ¬(¬x v y) v (¬x v z) = ¬(¬x v ¬y v z) v (x & ¬y) v ¬x v z = ¬(¬x v ¬y v z) v (1 & (¬x v ¬y)) v z = ¬(¬x v ¬y v z) v (¬x v ¬y v z) = 1