SHPORA.net :: PDA

Login:
регистрация

Main
FAQ

гуманитарные науки
естественные науки
математические науки
технические науки
Search:
Title: | Body:

Законы логики


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);

......................