AnallogicA は、命題論理に基づく論理テーブルを生成するアプリケーションです。それは逆の等価性または論理値を比較することが可能です。結果は、テキスト ファイル、CSV 形式、および、内部形式で保存できます。プログラムは最大 15 の異なる変数になる組み合わせで以上 32000 可能性をサポートします。それの置換を済ませた学生のための特別な機能は、分析中にステップバイ ステップを示します。
