Logicmedium
0:00.0

Simplify the expression ¬(A(¬BC))\neg(A \land (\neg B \lor C)) using De Morgan's laws.