Atur cara mengikut Erpelstolz

Tujuan tunggal program ini adalah menjana, dan memaparkan, jadual kebenaran.Versi percuma ini menyokong semua penghubung biasa logik klasik, iaitu negatif, bersempena, (termasuk) ketidakadilan, konditonal (implikasi mater