Interstaatliche Hochschule für Technik Buchs NTB, STRTDiskrete Mathematik
Block Informatik«Datum»
Lösungen zur Serie 22Aufgabe 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);