ความจริงตารางสำหรับตรรกะคลาสสิกและสำหรับจำนวนของระบบที่ไม่คลาสสิก
วัตถุประสงค์เพียงอย่างเดียวของโปรแกรมนี้คือการสร้างและแสดงตารางความจริง
รุ่นนี้ฟรีสนับสนุน connectives ทั้งหมดตามปกติของตรรกะคลาสสิกที่มีการคัดค้าน, ร่วม, (รวม) ร้าวฉาน, conditonal (นัยวัสดุ) และ biconditional (วัสดุสมมูล) เป็นค่าคงที่ 1 และ 0 แสดงถึงความจริงและความเท็จตามลำดับ สิ่งดีๆคือว่านอกเหนือจากเอกสารมาตรฐานที่ค่อนข้างน่าเบื่อของตรรกะคุณอาจใช้ Lukasiewicz ของกระแสเรียงราย, สัญกรณ์โปแลนด์เงาเกินไป
และมันไม่ได้หยุดอยู่ที่นี่ หากคุณเป็นผู้ลงเพื่อแผ่นดิน, ชนิดที่พบความรู้สึกของคนที่คุณจะพบว่ามันมั่นใจว่าโดยค่าเริ่มต้นโปรแกรมที่ใช้คลาสสิก, สองมูลค่าตรรกะ แต่ถ้าคุณมีมากขึ้นของประเภทการผจญภัยไม่เคยหยุดสั้นขององค์กรคุณจะมีความยินดีที่จะเรียนรู้ว่าตารางความจริงสำหรับ Android สนับสนุนจำนวนไม่คลาสสิกระบบหลายค่าของตรรกะเกินไป ไม่เคยป้อนแม่น้ำสองครั้งและทั้งสองเชิงลบไม่ได้ทำให้การยืนยันจึงจะพูด!