Logicmedium
0:00.0

Identify the logical equivalent of P    QP \implies Q that uses only the 'OR' and 'NOT' connectives.