Calculate and interpret the result of propositional logic formulas.

รุ่นล่าสุด

เวอร์ชัน
ปรับปรุง
5 ก.ย. 2566
นักพัฒนาซอฟต์แวร์
ประเภท
การติดตั้ง
50,000+

App APKs

Logic Calculator APP

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

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

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

โฆษณา

โฆษณา