Предмет: Математика,
автор: ewe98
Найти КНФ:
z → (x → y)
Найти ДНФ:
¬(x v y) ^ (x → y)
Ответы
Автор ответа:
0
x¬ y V (¬ x)y(¬ z) =
Двойное отрицание и Блейк с Морганом.
¬( ¬ (x ¬ y) ¬ ( (¬ x)y(¬ z)) =
=¬[(x v ¬ y ) v (¬ x v y v ¬ z)]
=¬[x v ¬ y v ¬ x v y v ¬ z)] =z
Двойное отрицание и Блейк с Морганом.
¬( ¬ (x ¬ y) ¬ ( (¬ x)y(¬ z)) =
=¬[(x v ¬ y ) v (¬ x v y v ¬ z)]
=¬[x v ¬ y v ¬ x v y v ¬ z)] =z
Похожие вопросы
Предмет: История,
автор: kovalnkoanyyaaa
Предмет: Другие предметы,
автор: palkosnizhana
Предмет: География,
автор: valeriiavolonets
Предмет: Обществознание,
автор: ehutton
Предмет: Алгебра,
автор: Simon026