Phép toán mệnh đề

 
-Mệnh đề tương đương:
 + Dạng hấp thu:
  A ∧ (A ∨ B) = A
  A ∨ (A ∧ B) = A 
  A ∧ (¬A ∨ B)= A∧B 
  A ∨ (¬A ∧ B)= A∨B
  +Dạng De Morgan:
  ¬ (A ∧ B) = ¬A ∨ ¬B 
  ¬ (A ∨ B) = ¬A ∧ ¬B
  +Dạng khác:
  A ⇒ B = ¬A ∨ B
  ¬ (A ⇒ B) = A ∧ ¬B
  A ⇒ B = A ∧ ¬B⇒ FALSE