ประพจน์ที่สมมูลกัน
ประพจน์ที่สมมูลกัน ประพจน์ที่สมมูลกัน หมายถึง รูปแบบของประพจน์สองรูปแบบที่มีค่าความจริงตรงกัน กรณีต่อกรณี และสามารถนำไปใช้แทนกันได้ ใช้สัญลักษณ์ เช่น หลังจากที่เรารู้แล้วว่าประพจน์ที่สมมูลกันคืออะไร? 1.) p∧p≡ p 2.) p∨p≡p 3.) (p∨q)∨r ≡ p∨(q∨r) (เปลี่ยนกลุ่ม) 4.) (p∧q)∧r ≡ p∧(q∧r) (เปลี่ยนกลุ่ม) 5.) p∨q ≡ q∨p (สลับที่) 6.) p∧q ≡ p∧q (สลับที่) 7.) p∨(q∧r) ≡ (p∨q)∧(p∨r) (แจกแจง) 8.) p∧(q∨r) ≡ (p∧q)∨(p∧r) (แจกแจง) 9.) ∼(p∨q) ≡ ∼p∧∼q 10.) ∼(p∧q) ≡ ∼p∨∼q 11.) ∼p→q…