COMPUTER

old word
Proveordisprove.pdf

Prove or disprove that NOT((P AND Q) --> R] ≡ NOT [NOT (P AND Q) or R]