Chương trình theo Erpelstolz

Mục đích duy nhất của chương trình này là tạo ra, và hiển thị, bảng sự thật.Phiên bản miễn phí này hỗ trợ tất cả các liên kết thông thường của logic cổ điển, đó là phủ định, kết hợp, (bao gồm) disjunction, conditonal (vật