ประพจน์ที่ต้องการตรวจสอบ
(Proposition)
1. พิมพ์นิพจน์ตรรกศาสตร์
P ≡
รูปแบบประพจน์ไม่ถูกต้อง กรุณาตรวจสอบอีกครั้ง
2.
การตรวจสอบด้วยตารางค่าความจริง
สร้างตารางแจกแจงค่าความจริงย่อยทั้งหมด หากผลลัพธ์สุดท้ายเป็นจริง (T) ทุกกรณี แสดงว่าเป็นสัจนิรันดร์
3.
การตรวจสอบโดยวิธีหาข้อขัดแย้ง (สมมติให้เป็นเท็จ)
สมมติให้ประพจน์หลักเป็นเท็จ (F)
แล้วโยงเส้นหาค่าความจริงย่อยทีละขั้น
เส้นประสีฟ้า
คือการนำค่าที่รู้แล้วไปแทนค่าในอีกฝั่ง, เส้นทึบสีแดง
คือเกิดข้อขัดแย้ง (ลาก/ซูมดูกราฟิกได้)