Logicmedium
0:00.0

Identify the logical equivalent of P    QP \implies Q using only ¬\neg and \land.