Аксиомы алгебры Кантора

А1. Тождественность:	А È А=А ;	А Ç А=А;
А2. Коммутативность:	А ÈВ=В È А;	А ÇВ= В ÇА;
А3.Ассоциативность:	А È (В ÈС)=(А È В) È С;	А Ç(В ÇС)=(А ÇВ) ÇС;
А4. Дистрибутивность:	А È(В ÇС)=(А ÈВ) Ç (А ÈС);	А Ç(В ÈС)= (А ÇВ) È(А ÇС);
А5.Законы дополнения:	А È1=1; А ÈÆ=А; А È`А =1; `1 =Æ ;	А Ç 1=А; А и Æ= Æ; А Ç `А = Æ; `Æ=1;
А6. Закон двойного отрицания:	_ `А=А ;
Правила де'Моргана: