Truth Tables

Erpelstolz

ስለዚህ መተግበሪያ

የዚህ ፕሮግራም ብቸኛ ዓላማ ማመንጨት, እና እውነት ሠንጠረዦች በማሳየት ነው.

ይህ ነጻ ስሪት በዚያ አፍራሽ, መስተፃምር, (ያካተቱ) disjunction, conditonal (ቁሳዊ በአንድምታ), እና biconditional (ቁሳዊ አቻነት), እንዲሁም በቅደም, እውነት እና ውሸት አውሴ constants 1 እና 0 ነው, ክላሲካል ሎጂክ ሁሉ የተለመደው connectives ይደግፋል. አንድ አሪፍ ነገር አመክንዮ ያለውን አሰልቺ መደበኛ ምልክትን በተጨማሪ, አንተም, Lukasiewicz ዥረት-ተሰልፈው, የሚያብረቀርቁ የፖላንድ ምልክትን መጠቀም ይችላሉ, ይህ ነው.

እና እዚህ ማቆም አይደለም. አንተ ሰው ዝቅ-ወደ-ምድር, የጋራ-ስሜት ዓይነት ከሆኑ, በነባሪ, ፕሮግራሙ ክላሲካል, ሁለት-ዋጋ, አመክንዮ ይጠቀማል የሚያጽናናን, በዚያ ታገኛለህ. አንተ ፈጽሞ የድርጅት አጫጭር ማቆም, ደፋር ዓይነት በላይ ከሆኑ የ Android አመክንዮ የማይመለስ-ክላሲካል, ባለብዙ-ግምት ስርዓት በርካታ ይደግፋል ግን: አንተም: እውነት ሰንጠረዦች ለመማር ደስ ይሆናል. ሁለት ጊዜ አንድ ወንዝ መግባት በፍጹም, እና ሁለት ለየጉባኤዎቹ እንዲሁ መናገር, አንድ ማረጋገጫ እንዲሆን አይደለም!

ምን አዲስ ነገር አለ

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)