PPT-Folie
Wir wollen nun ein Schaltwerk flipflop mit Schaltfunktion ff bestimmen, so daß für alle s,r gilt
rs_flipflop s r = q
where q 0 = 0
q t = ff (q (t-1)) (s t) (r t)
Nach dem booleschen Normalformtheorem erhält man für ff
ff x y z = (x /\ no y /\ no z) \/ (y /\ no z)
= ((x /\ no y) \/ y) /\ no z
= (x \/ y) /\ no z
= no (x nor y) /\ no z
= no ((x nor y) \/ z)
= (x nor y) nor z