Logic Calculator

ด้วยแอพนี้คุณสามารถ:

- ตรวจสอบว่าลำดับของอักขระเป็นสูตรที่มีรูปแบบดี (WFF) หรือไม่

- รับสัญกรณ์ภาษาโปแลนด์ปกติ (NPN) - เช่นสัญกรณ์นำหน้า - ของสูตรตรรกะเชิงประพจน์

- รับสัญกรณ์ Reverse Polish (RPN) เช่นสัญกรณ์ postfix - ของสูตรตรรกะเชิงประพจน์

- รับสูตรย่อยของสูตรตรรกะเชิงประพจน์

- รับรูปแบบปกติที่ไม่ต่อเนื่อง (DNF) และสูตร conjunctive normal form (CNF) ของสูตรตรรกะเชิงประพจน์

- สร้างตารางความจริงสำหรับสูตรตรรกะเชิงประพจน์

- กำหนดค่าความจริงให้กับสัญลักษณ์เชิงประพจน์และรับการตีความสูตรตรรกะเชิงประพจน์

นอกจากนี้คุณสามารถเลือกลำดับความสำคัญที่แตกต่างกันสำหรับการเชื่อมต่อเชิงตรรกะ