ユーザーは、真理値表に所望の値を挿入します。このアプリは、これらの値を持つカルノー図を満たし、最も簡単な可能な論理式を計算します。さらに、それは選言と連言標準形を示しています。
入力数および出力の数は、ユーザによって定義することができます。
ユーザーは解決策に関連することが可能であるので、カルノー図と単純化した表現で良いと考え項の接続は、同じ色で強調表示されます。
カルノー・ウィザードがマイケル・プラットナー、Hagenberg応用科学アッパーオーストリアの大学、デパートモバイル・コンピューティングの学生によって開発されました。