0) º ∩
X ∩ ∪ Z | º Z |
Y | ( ∪ Z) º Æ;
| 1) º Y ∪ ∪
(X | (X | )) ∪ ( | ( | )) º
∩ ( | X ∪ ) º Æ;
|
2) ∩Y∩ Z∪X∩Z º (X∪Y) ∩Z
Y | (Y | X ∪ ) º Y ∩ X
( ∩ | X) | º Æ;
| 3) º X ∩ ∩ Y
(X | ) | º X
(X ∩ ) | ( ∪ ) º Æ;
|
4) ∩ º ∩
| º Z | Y
º Æ;
| 5) º ( ∪ Z) ∩
X | Y ∪ X ∩ Z º X | Y ∩
º Æ;
|
6) º U
| º X ∩ ∩ Y
∩ (Y ∪ Z) ∩ X ∩Y º Æ;
| 7) º ∪
Y | (X ∩Y | ) º Y | X
| ∪Y º Æ;
|
8) ∪ º ∪
X ∪ ∩ (Y| ) º X
| ∪ º Æ;
| 9) ∩ º (Y ∪ ) ∩
( | ) | º X | Z
∩ º Æ;
|