Diskrete Mathematik, Lösung Serie 22, Aufgabe 1

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

> lfsr := G( ((r1<->~r4) <-> X r1) & 
>            (r1 <-> X r2) & 
>            (r2 <-> X r3) & 
>            (r3 <-> X r4)        ); 
> show(lfsr); 
> ok := lfsr & (r1 v r2 v r3 v r4) -> GF r4; 
> provable(ok);

> lfsr := G( ((r2<->~r3) <-> X r1) & 
>            (r1 <-> X r2) & 
>            (r2 <-> X r3) & 
>            (r3 <-> X r4)        ); 
> show(lfsr); 
> ok := lfsr & (r1 v r2 v r3 v r4) -> GF r4; 
> provable(ok); 
> show(~ok);