2. L'Équation Brute (Le Chaos)

Opérateurs supportés : * (ET) | + (OU) | ' (NON) | ( ) Parenthèses

3. Matrice de Vérité (La Preuve)

ABCDS

4. Matrice de Karnaugh (La Stratégie)

C'D' (00) C'D (01) CD (11) CD' (10)
A'B' (00) 0000
A'B (01) 0000
AB (11) 0000
AB' (10) 0000

*Note v0.1: Le dessin automatique des boucles d'extraction visuelle est en cours de développement.*