Truth Tables

ตารางความจริงสำหรับตรรกะคลาสสิกและสำหรับระบบที่ไม่ใช่คลาสสิกจำนวนหนึ่ง

วัตถุประสงค์เพียงอย่างเดียวของโปรแกรมนี้คือการสร้างและการแสดง Truth Tables

เวอร์ชันฟรีนี้รองรับการเชื่อมต่อตามปกติทั้งหมดของตรรกะคลาสสิกนั่นคือการปฏิเสธ, การรวม, (รวม) การแยก, conditonal (ความหมายของวัสดุ), และ biconditional (ความเท่าเทียมกันของวัสดุ) เช่นเดียวกับค่าคงที่ 1 และ 0 แสดงถึงความจริงและความเท็จตามลำดับ สิ่งที่ยอดเยี่ยมคือนอกเหนือจากสัญกรณ์มาตรฐานที่ค่อนข้างน่าเบื่อของตรรกะคุณอาจใช้สัญกรณ์ขัดเงาที่เรียงรายของ Lukasiewicz ด้วย

และมันไม่ได้หยุดที่นี่ หากคุณเป็นคนที่มีความรู้สึกแบบสามัญสำนึกคุณจะพบว่ามันมั่นใจได้ว่าโดยค่าเริ่มต้นโปรแกรมจะใช้ตรรกะแบบคลาสสิกสองค่าและตรรกะ แต่ถ้าคุณเป็นคนที่ชอบผจญภัยมากขึ้นอย่าหยุดยั้งองค์กรคุณจะดีใจที่ได้เรียนรู้ว่า Truth Tables สำหรับ Android สนับสนุนระบบตรรกะที่ไม่ใช่แบบคลาสสิกจำนวนมากเช่นกัน อย่าเข้าสู่แม่น้ำสองครั้งและสองลบไม่ได้ยืนยันดังนั้นพูด!

มีอะไรใหม่ในเวอร์ชันล่าสุด 3.43