Calculate and interpret the result of propositional logic formulas.

รุ่นล่าสุด

เวอร์ชัน

1.1.4 (7)

ปรับปรุง

5 ก.ย. 2566

นักพัฒนาซอฟต์แวร์

Aulos Rafael

ประเภท

เครื่องมือ

Google Play ID

com.ccomp.logic.calculator

การติดตั้ง

50,000+

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

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

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

อ่านเพิ่มเติม

โฆษณา

Logic Calculator

Calculate and interpret the result of propositional logic formulas.

รุ่นล่าสุด

App APKs