Logic Calculator APP
- ตรวจสอบว่าลำดับของอักขระเป็นสูตรที่มีรูปแบบดี (WFF) หรือไม่
- รับสัญกรณ์ภาษาโปแลนด์ปกติ (NPN) - เช่นสัญกรณ์นำหน้า - ของสูตรตรรกะเชิงประพจน์
- รับสัญกรณ์ Reverse Polish (RPN) เช่นสัญกรณ์ postfix - ของสูตรตรรกะเชิงประพจน์
- รับสูตรย่อยของสูตรตรรกะเชิงประพจน์
- รับรูปแบบปกติที่ไม่ต่อเนื่อง (DNF) และสูตร conjunctive normal form (CNF) ของสูตรตรรกะเชิงประพจน์
- สร้างตารางความจริงสำหรับสูตรตรรกะเชิงประพจน์
- กำหนดค่าความจริงให้กับสัญลักษณ์เชิงประพจน์และรับการตีความสูตรตรรกะเชิงประพจน์
นอกจากนี้คุณสามารถเลือกลำดับความสำคัญที่แตกต่างกันสำหรับการเชื่อมต่อเชิงตรรกะ