Program menurut Erpelstolz

Satu-satunya tujuan dari program ini adalah menghasilkan, dan menampilkan, tabel kebenaran.Versi gratis ini mendukung semua ikat logika klasik yang biasa, yaitu negasi, konjungsi, (inklusif) disjunction, conditonal (impli