Упростите следующее выражение:
¬(A ∧ ¬B) ∧ ¬(¬A ∨ B)
Руководства, которые объясняют то, что отрабатывает это упражнение.