Используя законы логики, упростите данное выражение: ¬(X∧(¬X∧¬Y))

0 голосов
59 просмотров

Используя законы логики, упростите данное выражение: ¬(X∧(¬X∧¬Y))


Информатика (17 баллов) | 59 просмотров
Дано ответов: 2
0 голосов
Правильный ответ

Решите задачу:

\overline{(x\cdot(\bar x\cdot\bar y))}=\overline{(x\cdot\bar x\cdot\bar y)}=\overline{(0\cdot\bar y)}=\overline 0=1
(142k баллов)
0

если можно, какие законы логики были использованы для каждого преобразования!?

0

1 . Закон ассоциативности при раскрытии скобок. 2. Закон операций с переменной и ее инверсией при конъюнкции х и "не" х. 3. Закон умножения на ноль и единицу.

0 голосов

Очевидно равно нулю, потому что раскрывая внутренню скобку приходим к выражению
X^ не X ^ не Y
а по законам X ^ ~X всегда равно 0

(196 баллов)
0

нулю равно не может быть, я сделал преобразования, но преподаватель сказал что не полностью. я использовал закон де Моргана и закон двойного отрицания и получил ¬X ∨ X ∨ Y, но оно не до конца(по словам преподавателя), не знаю что дальше делать.