| Formel | zulässige Eingaben |
|---|---|
| ¬ y | ~ y (mittels Tilde) oder alternativ !y oder &n y |
| ( x ∧ y ) | (x /\ y) (mittels Slash und Backslash) oder alternativ (x && y) oder (x &w y ) |
| ( x ∨ y ) | (x \/ y) (mittels Backslash und Slash) oder alternativ (x || y) oder (x &v y ) |
| ( x → y ) | (x -> y) oder alternativ (x &r y ) |
| ( x ↔ y ) | (x <-> y) oder alternativ (x &l y ) |
| 1 | 1 oder alternativ &1 |
| 0 | 0 oder alternativ &0 |
ΓDisjKl ={{A,¬B},{A,B}}
Definiere Formel φ entsprechend der Eingabeφ = ((A∨¬B)∧(A∨B))
