Bildlich für 3 Ziffern:

c (i+1) = foldr1 (orN)

[ g j `andN` ( foldr1 (andN) [ p k | k <- [j+1..i] | j <- [-1..i] ) ]
where g (-1) = c 0

c (i+1) = foldr1 (\/)

[ ( foldr1 (/\) [ p k | k <- [j+1..i] ) /\ g j | j <- [-1..i] ]
where g (-1) = c 0

g-1

g0

g1

g2

p2

p1

p0

c0

c1

c2

c3

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen