วัตถุประสงค์เพียงอย่างเดียวของโปรแกรมนี้คือการสร้างและการแสดงตารางความจริง
รุ่นฟรีนี้รองรับการเชื่อมต่อปกติทั้งหมดของตรรกะคลาสสิกนั่นคือการปฏิเสธสันธาน (รวม) การผัน, conditonal (ความหมายของวัสดุ) และ biconditional (ความเท่าเทียมกันของวัสดุ) เช่นเดียวกับค่าคงที่ 1 และ 0 ที่บ่งบอกถึงความจริงและความเท็จตามลําดับ สิ่งที่เจ๋งคือนอกเหนือจากสงียภาพมาตรฐานที่น่าเบื่อของตรรกะแล้วคุณอาจใช้สลอรีตโปแลนด์ที่เรียงรายอยู่ของ Lukasiewicz ด้วย
และมันไม่ได้หยุดอยู่แค่นี้ หากคุณเป็นคนที่ลงสู่พื้นโลกสามัญสํานึกคุณจะพบว่ามันทําให้มั่นใจได้โดยค่าเริ่มต้นโปรแกรมใช้ตรรกะคลาสสิกสองค่า แต่ถ้าคุณเป็นประเภทการผจญภัยมากขึ้นไม่เคยหยุดสั้นขององค์กรคุณจะยินดีที่จะเรียนรู้ว่าตารางความจริงสําหรับ Android รองรับระบบตรรกะที่ไม่คลาสสิกและมีมูลค่าหลายระบบเช่นกัน อย่าเข้าไปในแม่น้ําสองครั้งและสองเชิงลบไม่ได้ทําให้การยืนยันเพื่อที่จะพูด!
ประวัติรุ่น
- เวอร์ชัน 3.43 โพสต์เมื่อ 2013-11-14
* NAND และ NOR มีความโดดเด่นมากขึ้นสําหรับขนาดหน้าจอส่วนใหญ่ (ที่ร้องขอโดยผู้ใช้)* และ "+" สําหรับสันธานและการแยกส่วนตามลําดับ (ที่ร้องขอโดย,...ผู้ใช้)* แทนที่จะเป็น P, Q, R,... (ที่ร้องขอโดยผู้ใช้) - เวอร์ชัน 2.101 โพสต์เมื่อ 2011-05-02
การแก้ไขและการอัปเดตหลายรายการ
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > เครื่องมือการเรียนการสอน
- Publisher: Erpelstolz
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 3.43
- แพ ลตฟอร์ม: android