Implikation

Regeln

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