Det enda syftet med detta program är att generera, och visning, sanningstabeller.
Detta fria versionen har stöd för alla vanliga konnektiv av klassisk logik, är det negation, konjunktion, (inklusive) disjunktion, conditonal (material implikation), och biconditional (material likvärdighet), samt konstanterna 1 och 0 betecknar sanning och lögn, respektive. En cool sak är att, förutom den något tråkiga standardnotation av logik, kan du använda Lukasiewicz s ström-fodrade, glänsande polsk notation, också.
Och det slutar inte här. Om du är ned till jorden, sunt förnuft typ av person, kommer du att finna det lugnande att, som standard, använder programmet klassisk, tvåvärda, logik. Men om du är mer av den äventyrliga typen, aldrig stoppa kort av ett företag, kommer du vara glad att veta att sanningen Bord för Android har stöd för ett antal icke-klassiska, mång värderade system av logik, också. Gå aldrig en flod två gånger, och två negationer gör inte en bekräftelse, så att säga!
Uppdaterades den
14 nov. 2013