1. กำหนดรูปแบบประพจน์
(Propositional Form)
รูปแบบประพจน์ตั้งต้น
รูปแบบประพจน์ไม่ถูกต้อง
2. รูปแบบที่สมมูลกันทั้งหมด
(Equivalent Propositions)
กำลังประมวลผลรูปแบบที่เป็นไปได้...