Единствената цел на тази програма е генериране и изобразяване на екран, таблици на истинност.
Тази безплатна версия поддържа всички обичайни connectives на класическата логика, която е отрицание, връзка, (включително) дизюнкция, conditonal (отражение материал), и biconditional (материална равностойност), както и константите 1 и 0, обозначаващи истината и лъжата, съответно. A готино нещо е, че освен малко по-скучно стандартната нотация на логика, можете да използвате поток-облицовани, лъскав полски нотация Lukasiewicz е, също.
И това не спира до тук. Ако не сте, на здравия разум такъв човек, надолу към земята, ще го намерите успокояващо, че по подразбиране, програмата използва класически, две-ценен, логика. Но ако сте повече от приключенски тип, никога не спира кратко на едно предприятие, вие ще бъдете щастливи да научат, че истината Маси за Android поддържа няколко некласически, мулти-оценяват системи на логиката, също. Никога не влиза една река два пъти, и две негативи не правят потвърждение, така да се каже!
Актуализирано на
14.11.2013 г.