kommutative lover

x + y = y + x	p  q  q  p

x.y = y.x	p  q  q  p

assosiative lover

(x + y) + z = x + (y + z)

(p  q)  r  p  (q  r)

(x.y).z = x.(y.z)

(p  q)  r  p  (q  r)

distributive lover

x.(y + z) = (x.z) + (y.z)

p  (q  r)  (p  q)  (p  r)

p  (q  r)  (p  q)  (p  r)

nullelement

x + 0 = x	p  U  p

p  S  p

x.0 = 0	p  U  U

p  S  S

komplement

x + (1-x) = 1	p   p  S

p  p  U

1-(1-x) = x	 ( p)  p

de Morgans lover

 (p  q)   p   q

 (p  q)   p   q

implikasjon

p  q  ( p  q)

ekvivalens

p  q  (p  q)  (q  p)

2005-02-07T09:53:51