Свойства (законы) логических операций:

_

v

1.х _ у  у _{ х (коммутативность)}

_{2.(х  у) } z  х _ (y _ z)(ассоциативность)

3.x _{ (}y v z )  x _ y v x _ z (дистрибутивность)

_{4.x  x  0}

5.x _ 1  x

6.x _ 0  0

7. x _ x  x

8. x _ (x v y)  x (закон поглощения)

^{9. x  y  x v y}

1.х v у  у _{ х}

_2.(х v _у) v z  x v (y v z)

3.x v y _ z  (x v y)_ (x v z)

_{4. x v x 1}

5.x v 1  1

6.x v 0  x

7. x v x  x

8. x v (x _ y)  x

9.x v y  x _ y

10.x => y  x v y

11.x <=> y  (x =>y)_ (y =>x)  (x v y)_{ (y v x)}