Pembuktian 6

6. Distruksi Delema (DD)
    (p⇒q)∧(r⇒s)

  ∼q∨∼s
  there4;∼p∨∼r
  Pembuktian

 

   terbukti karena hasil akhirnya true semua / "T" semua pada kolom yang paling gelap