Question

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

Answer 1

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

Answer 2

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

Answer 3

$overline{(xcdot(bar xcdotbar y))}=overline{(xcdotbar xcdotbar y)}=overline{(0cdotbar y)}=overline 0=1$

Answer 4

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

Answer 5

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