Die Eingabe ist eine logische Formel.
Syntax: not A, A and B, A or B, A => B, A <=> B.