1 - studwww

Würfelkalkül - Formal
Schaltalgebra
Ein Produktterm K lässt sich im Würfelkalkül beschreiben.
Würfel:
mit:
C := (c1,c2,...,cn) 2 {0, 1, } n
ci :=
8
<
:
0, falls das Literal ¯xi in K vorkommt
1, falls das Literal xi in K vorkommt
, falls die Variable xi in K nicht vorkommt
don’t care
Die Anzahl an don’t cares gibt die Dimension eines Würfels an:
0 don’t care => 0-dimensional
1 don’t care => 1-dimensional
n don’t care => n-dimensional
16