Законы логики
1. Идемпотентность: х v x - x(дизъюнкция); х ^ x - x(конъюнкция);
2. Коммутативность: x v y - x v x; x ^ y - y ^ x;
3. Ассоциативность: x v(y v z) - (x v y)v z; x ^(y ^ z) - (x ^ y)^ z;
4. Дистрибутивность: x v(y v z) - (x v y)^(x v z); x ^(y v z) - (x v y)v(x ^ z);
......................