Version 0.9.6 (beta)
Es werden Formeln mit vier Variablen p, q, r und s betrachtet. Das Ergebnis einer derartigen Formel kann hier spezifiziert werden, die entsprechenden Normalformen werden dazu berechnet.| ┌─ p ─┐ | ||||
| q [ | 1 | 0 | 0 | 1 |
| ] s | ||||
| └─ r ─┘ | ||||
n/a
n/a
n/a
n/a