Selanjutnya, perhatikan Aturan De Morgan dan Implikasi. Negasi dari P dan Q adalah negasi P atau negasi Q. Negasi dari P atau Q adalah negasi P dan negasi Q. Serta yang paling penting, negasi dari P maka Q adalah P dan negasi Q. Ingat ya, negasi dari pernyataan Jika P maka Q adalah P DAN tidak Q.