プログラム Erpelstolz

このプログラムの唯一の目的は、真理の表を生成し、表示することです。この無料版は、否定、結合、(包括的)の差し止め、コンディトン(物質的等価性)、および共条件(物質的等価性)、および定数1と0がそれぞれ真実と虚偽を示す古典的論理のすべての通常の結合をサポートしています。クールなことは、ロジックのやや退屈な標準的な表記に加えて、あなたはあまりにも、ルカシエヴィチのストリームが並んだ、光沢のあるポーランドの表記を使用することができるということで