Interstaatliche Hochschule für Technik Buchs NTB, STRTDiskrete Mathematik
Block Informatik«Datum»
Lösungen zur Serie 22Aufgabe 2

> toggle := G( (~p & X~p -> XXp & XXXp) & (p & Xp -> XX~p & XXX~p) );
> init := ~p & X~p;
> show( init & toggle );