จากสองประพจน์ที่กำหนดให้ มีประพจน์ย่อยทั้งหมด 3 ประพจน์ ดังนั้น มีกรณีทั้งหมด 23=8 ประพจน์ 

สร้างตารางค่าความจริงของ p∧(q∨r) จะได้

 ประพจน์ที่สมมูลกัน
      ประพจน์สองประพจน์ใด จะสมมูลกันก็ต่อเมื่อประพจน์ทั้งสองมีค่าความจริงเหมือนกันทุกกรณี ใช้สัญลักษณ์ ≡ แทนคำว่า สมมูล ประพจน์ที่สมมูลกันจะสามารถใช้แทนกันได้ เนื่องจากมีค่าความจริงเหมือนกันทุกกรณี
          การตรวจสอบว่าประพจน์สมมูลกันหรือไม่ ทำได้ 2 วิธี ดังนี้
 
4.1 ใช้ตารางแสดงค่าความจริง
  ตัวอย่าง จงตรวจสอบว่าประพจน์ต่อไปนี้สมมูลกันหรือไม่
1. p → q กับ  ~p ∨ q

จะเห็นว่า ค่าความจริงของ ~p ∧ q กับ p → q มีบางกรณีต่างกัน
ดังนั้น ~p ∧ q ไม่สมมูลกับ p → q

4.2 ใช้รูปแบบของประพจน์ที่สมมูลกัน
     รูปแบบของประพจน์ที่สมมูลกันที่สำคัญ
1. p ∧ ~p ≡ F
2. p ∨ ~p ≡ T
3. p ∧ T ≡ p
4. p ∨ F ≡ p
5. ~(~p) ≡ p
6. p ∨ q ≡ q ∨ p
7. p ∧ q ≡ q ∧ p
8. ( p ∨ q ) ∨ r ≡ p ∨ ( q ∨ r ) ≡ p ∨ q ∨ r
9. ( p ∧ q ) ∧ r ≡ p ∧ ( q ∧ r ) ≡ p ∧ q ∧ r 
10. p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r )
11. p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r )
12. ~( p ∨ q ) ≡ ~p ∧ ~q
13. ~( p ∧ q ) ≡ ~p ∨ ~q
14. p → q ≡ ~q → ~p
15. p → q ≡ ~p ∨ q
16. ~( p → q ) ≡ p ∧ ~q
17. p ↔ q ≡ ( p → q ) ∧ ( q → p )