มาดูการใช้รูปแบบของประพจน์ที่สมมูลกัน-ตรรกศาสตร์ ม.4
ใช้รูปแบบของประพจน์ที่สมมูลกัน เพราะถ้าเรารู้ว่าประพจน์ไหนสมมูลกับประพจน์อาจจะทำให้การตรวจสอบการเป็นสัจนิรันดร์และการหาค่าความจริงง่ายขึ้น รูปแบบของประพจน์ที่สมมูลกันที่สำคัญ 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 ∧…