X ∧ Y - по закону де Моргана
Если подробно раскрывать скобку:
1. ¬(¬X) ∧ ¬(¬Y) - по закону де Моргана
2. X ∧ Y - по закону двойного отрицания
X ∧ Y - по закону де Моргана
Если подробно раскрывать скобку:
1. ¬(¬X) ∧ ¬(¬Y) - по закону де Моргана
2. X ∧ Y - по закону двойного отрицания