Implikation
Regeln
A
&& B =>
A
A
=>
A
|| B
Anfang
weiter