Diskreetne matemaatika kodutöö
0-0- 1 1 0 1 0 0
0--0 10 1 0 0 0 1
-0-1 0 0 1 0 0 0
-0-1 0 0 1 0 0 1
-0-1 0 0 1 0 0 1
-11- 0 0 0 0 1 1
1-10 0 0 0 0 1 0
101- 0 0 0 0 0 0
Tallinn University of Technology 2012 11
{&, ¬}
X3X4vX1X3X4vX2X3vX1X2X4 = (X4vX2)X3v(X3X4vX2X4)X1 = (X4vX2)X3(X3=X4XvX
4X22X
X43)X
X31X4X2X4X1
(X3vX1)(X2vX4)(X1vX3vX4) = (X3vX1)(X2vX4)(X1vX3vX4) = (X3X1)(X2X4)(X1X3X4)
Tallinn University of Technology 2012 12
{}
X4X2X3X3X4X2X4X=1 (X4X2X3) )=