शास्त्रीय तर्क के लिए और गैर-शास्त्रीय प्रणालियों के एक नंबर के लिए सत्य-टेबल

इस कार्यक्रम के एकमात्र उद्देश्य के सृजन, और, सत्य सारणी प्रदर्शित कर रहा है.

इस मुक्त संस्करण शास्त्रीय तर्क के सभी सामान्य संयोजियों का समर्थन करता है, कि क्रमश: निषेध, संयोजन, (सम्मिलित) वियोजन, conditonal (सामग्री निहितार्थ), और biconditional (सामग्री तुल्यता), साथ ही सच और झूठ denoting स्थिरांक 1 और 0 है. एक अच्छी बात तर्क से कुछ हद तक बोरिंग मानक अंकन के अलावा, आप भी, Lukasiewicz की धारा लाइन, चमकदार पोलिश संकेतन का उपयोग कर सकते हैं, वह यह है.

और यह यहाँ बंद नहीं करता है. आप व्यक्ति के नीचे करने वाली पृथ्वी, आम भावना तरह कर रहे हैं, तो आपको यह आश्वस्त डिफ़ॉल्ट रूप से, कार्यक्रम शास्त्रीय, दो महत्वपूर्ण, तर्क का उपयोग करता है, कि मिल जाएगा. आप एक उद्यम की कमी को रोकने कभी नहीं, साहसी प्रकार के और अधिक कर रहे हैं लेकिन, अगर आप एंड्रॉयड भी, तर्क की गैर शास्त्रीय, बहु महत्वपूर्ण प्रणालियों के एक नंबर का समर्थन करता है के लिए सच है कि टेबल्स जानने के लिए खुश हो जाएगा. दो बार एक नदी में प्रवेश नहीं है, और दो नकारात्मक एक प्रतिज्ञान नहीं बनाते हैं, तो बात है!