:: XBOOLE_1 semantic presentation

{} is empty set
the empty set is empty set
P is set
G is set
C is set
x is set
P is set
G is set
P is set
P is set
G is set
P \/ G is set
C is set
(P \/ G) \/ C is set
G \/ C is set
P \/ (G \/ C) is set
x is set
x is set
P is set
G is set
P \/ G is set
C is set
(P \/ G) \/ C is set
P \/ C is set
G \/ C is set
(P \/ C) \/ (G \/ C) is set
C \/ C is set
(C \/ C) \/ G is set
P \/ ((C \/ C) \/ G) is set
C \/ G is set
C \/ (C \/ G) is set
P \/ (C \/ (C \/ G)) is set
P is set
G is set
P \/ G is set
P \/ (P \/ G) is set
P \/ P is set
(P \/ P) \/ G is set
P is set
G is set
P \/ G is set
C is set
P is set
G is set
C is set
P \/ C is set
x is set
P is set
G is set
C is set
P \/ C is set
G \/ C is set
x is set
P is set
G is set
C is set
C \/ G is set
P is set
G is set
P \/ G is set
C is set
P is set
G is set
P \/ G is set
C is set
C is set
P is set
G is set
C is set
P \/ C is set
x is set
G \/ x is set
S2 is set
P is set
G is set
C is set
P \/ C is set
P is set
G is set
P \/ G is set
P is set
G is set
P /\ G is set
C is set
(P /\ G) /\ C is set
G /\ C is set
P /\ (G /\ C) is set
x is set
x is set
P is set
G is set
P /\ G is set
C is set
P is set
G is set
C is set
G /\ C is set
P is set
G is set
C is set
G /\ C is set
x is set
P is set
G is set
C is set
G /\ C is set
P is set
G is set
P \/ G is set
P /\ (P \/ G) is set
C is set
C is set
P is set
G is set
P /\ G is set
P \/ (P /\ G) is set
C is set
C is set
P is set
G is set
P /\ G is set
C is set
G \/ C is set
P /\ (G \/ C) is set
P /\ C is set
(P /\ G) \/ (P /\ C) is set
x is set
x is set
P is set
G is set
P \/ G is set
C is set
G /\ C is set
P \/ (G /\ C) is set
P \/ C is set
(P \/ G) /\ (P \/ C) is set
x is set
x is set
P is set
G is set
P /\ G is set
P \/ G is set
C is set
G /\ C is set
(P /\ G) \/ (G /\ C) is set
C /\ P is set
((P /\ G) \/ (G /\ C)) \/ (C /\ P) is set
G \/ C is set
(P \/ G) /\ (G \/ C) is set
C \/ P is set
((P \/ G) /\ (G \/ C)) /\ (C \/ P) is set
((P /\ G) \/ (G /\ C)) \/ C is set
((P /\ G) \/ (G /\ C)) \/ P is set
(((P /\ G) \/ (G /\ C)) \/ C) /\ (((P /\ G) \/ (G /\ C)) \/ P) is set
(G /\ C) \/ C is set
(P /\ G) \/ ((G /\ C) \/ C) is set
((P /\ G) \/ ((G /\ C) \/ C)) /\ (((P /\ G) \/ (G /\ C)) \/ P) is set
(P /\ G) \/ C is set
((P /\ G) \/ C) /\ (((P /\ G) \/ (G /\ C)) \/ P) is set
(P /\ G) \/ P is set
((P /\ G) \/ P) \/ (G /\ C) is set
((P /\ G) \/ C) /\ (((P /\ G) \/ P) \/ (G /\ C)) is set
P \/ (G /\ C) is set
((P /\ G) \/ C) /\ (P \/ (G /\ C)) is set
P \/ C is set
(P \/ C) /\ (G \/ C) is set
((P \/ C) /\ (G \/ C)) /\ (P \/ (G /\ C)) is set
(P \/ G) /\ (P \/ C) is set
((P \/ C) /\ (G \/ C)) /\ ((P \/ G) /\ (P \/ C)) is set
(G \/ C) /\ (P \/ C) is set
((G \/ C) /\ (P \/ C)) /\ (P \/ C) is set
(P \/ G) /\ (((G \/ C) /\ (P \/ C)) /\ (P \/ C)) is set
(P \/ C) /\ (P \/ C) is set
(G \/ C) /\ ((P \/ C) /\ (P \/ C)) is set
(P \/ G) /\ ((G \/ C) /\ ((P \/ C) /\ (P \/ C))) is set
P is set
G is set
C is set
P /\ C is set
G /\ C is set
x is set
P is set
G is set
C is set
P /\ C is set
x is set
G /\ x is set
S2 is set
P is set
G is set
P /\ G is set
C is set
P is set
G is set
P /\ G is set
C is set
P \/ C is set
P is set
G is set
C is set
C /\ G is set
P \/ (C /\ G) is set
P \/ C is set
(P \/ C) /\ G is set
x is set
x is set
P is set
G is set
P /\ G is set
C is set
P /\ C is set
(P /\ G) \/ (P /\ C) is set
G \/ C is set
x is set
P is set
G is set
P \ G is set
C is set
C is set
P is set
G is set
P \ G is set
G \ P is set
C is set
P is set
G is set
C is set
P \ C is set
G \ C is set
x is set
P is set
G is set
C is set
C \ G is set
C \ P is set
x is set
P is set
G is set
P \ G is set
C is set
G /\ C is set
P \ (G /\ C) is set
P \ C is set
(P \ G) \/ (P \ C) is set
x is set
P is set
G is set
C is set
G \ C is set
x is set
P \ x is set
G \ x is set
P is set
G is set
P \ G is set
C is set
P is set
G is set
P \ G is set
C is set
x is set
C \ x is set
P is set
G is set
G \ P is set
C is set
P is set
G is set
G \ P is set
P \/ (G \ P) is set
P \/ G is set
C is set
C is set
P is set
G is set
P \/ G is set
(P \/ G) \ G is set
P \ G is set
C is set
C is set
P is set
G is set
P \ G is set
C is set
(P \ G) \ C is set
G \/ C is set
P \ (G \/ C) is set
x is set
x is set
P is set
G is set
P \/ G is set
C is set
(P \/ G) \ C is set
P \ C is set
G \ C is set
(P \ C) \/ (G \ C) is set
x is set
x is set
P is set
G is set
P \ G is set
C is set
G \/ C is set
x is set
P is set
G is set
P \ G is set
C is set
G \/ C is set
x is set
P is set
G is set
G \ P is set
P \/ (G \ P) is set
C is set
P is set
G is set
P \/ G is set
P \ (P \/ G) is set
P is set
G is set
P /\ G is set
P \ (P /\ G) is set
P \ G is set
C is set
P is set
G is set
P \ G is set
P \ (P \ G) is set
P /\ G is set
C is set
C is set
P is set
G is set
P /\ G is set
C is set
G \ C is set
P /\ (G \ C) is set
(P /\ G) \ C is set
x is set
P is set
G is set
P /\ G is set
C is set
G \ C is set
P /\ (G \ C) is set
P /\ C is set
(P /\ G) \ (P /\ C) is set
(P /\ G) \ P is set
(P /\ G) \ C is set
((P /\ G) \ P) \/ ((P /\ G) \ C) is set
{} \/ ((P /\ G) \ C) is set
P is set
G is set
P /\ G is set
P \ G is set
(P /\ G) \/ (P \ G) is set
C is set
C is set
P is set
G is set
P \ G is set
C is set
G \ C is set
P \ (G \ C) is set
P /\ C is set
(P \ G) \/ (P /\ C) is set
x is set
x is set
P is set
G is set
P \ G is set
C is set
G \/ C is set
P \ (G \/ C) is set
P \ C is set
(P \ G) /\ (P \ C) is set
x is set
P is set
G is set
C is set
G /\ C is set
P \ (G /\ C) is set
P \ G is set
P \ C is set
(P \ G) \/ (P \ C) is set
P is set
G is set
P \/ G is set
P /\ G is set
(P \/ G) \ (P /\ G) is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
C is set
P is set
G is set
C is set
P is set
G is set
C is set
P is set
G is set
P is set
G is set
C is set
P is set
G is set
C is set
P is set
G is set
P is set
P is set
P is set
G is set
C is set
G /\ C is set
P /\ C is set
P is set
G is set
C is set
x is set
P is set
G is set
P is set
G is set
P /\ P is set
P is set
G is set
C is set
G /\ C is set
P is set
G is set
C is non empty set
x is set
G is non empty set
P is set
P is set
G is set
C is set
G \/ C is set
x is set
x is set
x is set
P is set
G is set
P \/ G is set
C is set
C \/ G is set
P /\ G is set
C /\ G is set
x is set
x is set
P is set
G is set
P \/ G is set
C is set
x is set
C \/ x is set
C /\ P is set
x /\ G is set
C /\ (P \/ G) is set
C /\ G is set
(C /\ P) \/ (C /\ G) is set
(C \/ x) /\ G is set
P is set
G is set
C is set
G \/ C is set
P /\ C is set
P /\ (G \/ C) is set
G /\ P is set
(G /\ P) \/ {} is set
P is set
G is set
C is set
G /\ C is set
x is set
P is set
G is set
P /\ G is set
C is set
P is set
G is set
C is set
C /\ P is set
C /\ G is set
P is set
G is set
C is set
G /\ C is set
P /\ (G /\ C) is set
P /\ G is set
P /\ C is set
(P /\ C) /\ G is set
P is set
G is set
C is set
G \/ C is set
P /\ (G \/ C) is set
P /\ C is set
P /\ G is set
{} \/ (P /\ C) is set
P is set
G is set
P \ G is set
(P \ G) /\ G is set
C is set
P is set
G is set
C is set
G \ C is set
x is set
P is set
G is set
C is set
G \ C is set
P \ C is set
P /\ (G \ C) is set
G /\ P is set
(G /\ P) \ C is set
G /\ (P \ C) is set
P is set
G is set
P \ G is set
G \ P is set
C is set
P is set
G is set
P \ G is set
P /\ G is set
C is set
C is set
P /\ G is set
C is set
P is set
G is set
C is set
G \ C is set
P /\ (G \ C) is set
P /\ G is set
P /\ C is set
(P /\ G) \ (P /\ C) is set
(P /\ G) \ {} is set
P is set
G is set
C is set
C \ G is set
P /\ (C \ G) is set
C /\ P is set
(C /\ P) \ G is set
P \ G is set
C /\ (P \ G) is set
C /\ {} is set
P is set
G is set
C is set
G \ C is set
P /\ C is set
x is set
P is set
G is set
C is set
C \ P is set
(C \ P) \/ G is set
C \/ G is set
(C \/ G) \ P is set
G \ P is set
(C \ P) \/ (G \ P) is set
P is set
G is set
P \/ G is set
(P \/ G) \ G is set
P \ G is set
G \ G is set
(P \ G) \/ (G \ G) is set
(P \ G) \/ {} is set
P is set
G is set
P /\ G is set
P \ G is set
C is set
P is set
G is set
P /\ G is set
P \ (P /\ G) is set
P \ G is set
P is set
G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
C is set
(P \+\ G) \+\ C is set
(P \+\ G) \ C is set
C \ (P \+\ G) is set
((P \+\ G) \ C) \/ (C \ (P \+\ G)) is set
G \+\ C is set
G \ C is set
C \ G is set
(G \ C) \/ (C \ G) is set
P \+\ (G \+\ C) is set
P \ (G \+\ C) is set
(G \+\ C) \ P is set
(P \ (G \+\ C)) \/ ((G \+\ C) \ P) is set
G \/ C is set
P \ (G \/ C) is set
P \/ C is set
G \ (P \/ C) is set
P \/ G is set
C \ (P \/ G) is set
P /\ G is set
(P /\ G) /\ C is set
(P \ G) \ C is set
(G \ P) \ C is set
((P \ G) \ C) \/ ((G \ P) \ C) is set
C \ ((P \ G) \/ (G \ P)) is set
(((P \ G) \ C) \/ ((G \ P) \ C)) \/ (C \ ((P \ G) \/ (G \ P))) is set
(P \ (G \/ C)) \/ ((G \ P) \ C) is set
((P \ (G \/ C)) \/ ((G \ P) \ C)) \/ (C \ ((P \ G) \/ (G \ P))) is set
(P \ (G \/ C)) \/ (G \ (P \/ C)) is set
((P \ (G \/ C)) \/ (G \ (P \/ C))) \/ (C \ ((P \ G) \/ (G \ P))) is set
(P \/ G) \ (P /\ G) is set
C \ ((P \/ G) \ (P /\ G)) is set
((P \ (G \/ C)) \/ (G \ (P \/ C))) \/ (C \ ((P \/ G) \ (P /\ G))) is set
((P /\ G) /\ C) \/ (C \ (P \/ G)) is set
((P \ (G \/ C)) \/ (G \ (P \/ C))) \/ (((P /\ G) /\ C) \/ (C \ (P \/ G))) is set
((P \ (G \/ C)) \/ (G \ (P \/ C))) \/ ((P /\ G) /\ C) is set
(((P \ (G \/ C)) \/ (G \ (P \/ C))) \/ ((P /\ G) /\ C)) \/ (C \ (P \/ G)) is set
(P \ (G \/ C)) \/ ((P /\ G) /\ C) is set
((P \ (G \/ C)) \/ ((P /\ G) /\ C)) \/ (G \ (P \/ C)) is set
(((P \ (G \/ C)) \/ ((P /\ G) /\ C)) \/ (G \ (P \/ C))) \/ (C \ (P \/ G)) is set
(G \ (P \/ C)) \/ (C \ (P \/ G)) is set
((P \ (G \/ C)) \/ ((P /\ G) /\ C)) \/ ((G \ (P \/ C)) \/ (C \ (P \/ G))) is set
G /\ C is set
P /\ (G /\ C) is set
(P \ (G \/ C)) \/ (P /\ (G /\ C)) is set
((P \ (G \/ C)) \/ (P /\ (G /\ C))) \/ ((G \ (P \/ C)) \/ (C \ (P \/ G))) is set
(G \/ C) \ (G /\ C) is set
P \ ((G \/ C) \ (G /\ C)) is set
(P \ ((G \/ C) \ (G /\ C))) \/ ((G \ (P \/ C)) \/ (C \ (P \/ G))) is set
P \ ((G \ C) \/ (C \ G)) is set
G \/ P is set
C \ (G \/ P) is set
(G \ (P \/ C)) \/ (C \ (G \/ P)) is set
(P \ ((G \ C) \/ (C \ G))) \/ ((G \ (P \/ C)) \/ (C \ (G \/ P))) is set
C \/ P is set
G \ (C \/ P) is set
(C \ G) \ P is set
(G \ (C \/ P)) \/ ((C \ G) \ P) is set
(P \ ((G \ C) \/ (C \ G))) \/ ((G \ (C \/ P)) \/ ((C \ G) \ P)) is set
(G \ C) \ P is set
((G \ C) \ P) \/ ((C \ G) \ P) is set
(P \ ((G \ C) \/ (C \ G))) \/ (((G \ C) \ P) \/ ((C \ G) \ P)) is set
P is set
P \+\ P is set
P \ P is set
(P \ P) \/ (P \ P) is set
P is set
G is set
P \/ G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P /\ G is set
(P \+\ G) \/ (P /\ G) is set
(P \ G) \/ (P /\ G) is set
((P \ G) \/ (P /\ G)) \/ G is set
(P /\ G) \/ G is set
(P \ G) \/ ((P /\ G) \/ G) is set
(P \ G) \/ G is set
G /\ P is set
(G \ P) \/ (G /\ P) is set
(P \ G) \/ ((G \ P) \/ (G /\ P)) is set
P is set
G is set
P /\ G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P is set
G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P \/ G is set
P /\ G is set
(P \/ G) \ (P /\ G) is set
P \ (P /\ G) is set
(P \ (P /\ G)) \/ (G \ P) is set
G \ (P /\ G) is set
(P \ (P /\ G)) \/ (G \ (P /\ G)) is set
P is set
G is set
P \/ G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P /\ G is set
(P \+\ G) \+\ (P /\ G) is set
(P \+\ G) \ (P /\ G) is set
(P /\ G) \ (P \+\ G) is set
((P \+\ G) \ (P /\ G)) \/ ((P /\ G) \ (P \+\ G)) is set
P is set
G is set
P /\ G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P \/ G is set
(P \+\ G) \+\ (P \/ G) is set
(P \+\ G) \ (P \/ G) is set
(P \/ G) \ (P \+\ G) is set
((P \+\ G) \ (P \/ G)) \/ ((P \/ G) \ (P \+\ G)) is set
(P \/ G) \ (P /\ G) is set
(P \+\ G) \/ (P /\ G) is set
P is set
G is set
P \ G is set
P \+\ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P is set
G is set
P \ G is set
C is set
G \ P is set
P \+\ G is set
(P \ G) \/ (G \ P) is set
P is set
G is set
P \/ G is set
G \ P is set
P \+\ (G \ P) is set
P \ (G \ P) is set
(G \ P) \ P is set
(P \ (G \ P)) \/ ((G \ P) \ P) is set
P \/ P is set
G \ (P \/ P) is set
P \ G is set
P /\ P is set
(P \ G) \/ (P /\ P) is set
P is set
G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
C is set
(P \+\ G) \ C is set
G \/ C is set
P \ (G \/ C) is set
P \/ C is set
G \ (P \/ C) is set
(P \ (G \/ C)) \/ (G \ (P \/ C)) is set
(P \ G) \ C is set
(G \ P) \ C is set
((P \ G) \ C) \/ ((G \ P) \ C) is set
(P \ (G \/ C)) \/ ((G \ P) \ C) is set
P is set
G is set
P \ G is set
P /\ G is set
P \+\ (P /\ G) is set
P \ (P /\ G) is set
(P /\ G) \ P is set
(P \ (P /\ G)) \/ ((P /\ G) \ P) is set
P is set
G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P \/ G is set
P /\ G is set
(P \/ G) \ (P /\ G) is set
P is set
G is set
P /\ G is set
C is set
G \+\ C is set
G \ C is set
C \ G is set
(G \ C) \/ (C \ G) is set
P \ (G \+\ C) is set
G \/ C is set
P \ (G \/ C) is set
(P /\ G) /\ C is set
(P \ (G \/ C)) \/ ((P /\ G) /\ C) is set
G /\ C is set
(G \/ C) \ (G /\ C) is set
P \ ((G \/ C) \ (G /\ C)) is set
P /\ (G /\ C) is set
(P \ (G \/ C)) \/ (P /\ (G /\ C)) is set
P is set
G is set
P /\ G is set
P \+\ G is set
P \ G is set
G \ P is set
(P \ G) \/ (G \ P) is set
P is set
G is set
P is set
G is set
G \ P is set
P is set
G is set
C is set
G \ C is set
x is set
P is set
G is set
C is set
G \+\ C is set
G \ C is set
C \ G is set
(G \ C) \/ (C \ G) is set
G \/ C is set
G /\ C is set
(G \/ C) \ (G /\ C) is set
P is set
G is set
C is set
P /\ C is set
P is set
G is set
C is set
P \ C is set
P is set
G is set
C is set
P \+\ C is set
P \ C is set
C \ P is set
(P \ C) \/ (C \ P) is set
P is set
G is set
P /\ G is set
C is set
C /\ G is set
(P /\ G) \ (C /\ G) is set
P \ C is set
(P \ C) /\ G is set
(P /\ G) \ C is set
(P /\ G) \ G is set
((P /\ G) \ C) \/ ((P /\ G) \ G) is set
G \ G is set
P /\ (G \ G) is set
((P /\ G) \ C) \/ (P /\ (G \ G)) is set
P /\ {} is set
((P /\ G) \ C) \/ (P /\ {}) is set
P is set
G is set
P /\ G is set
C is set
C /\ G is set
(P /\ G) \+\ (C /\ G) is set
(P /\ G) \ (C /\ G) is set
(C /\ G) \ (P /\ G) is set
((P /\ G) \ (C /\ G)) \/ ((C /\ G) \ (P /\ G)) is set
P \+\ C is set
P \ C is set
C \ P is set
(P \ C) \/ (C \ P) is set
(P \+\ C) /\ G is set
(P \ C) /\ G is set
((P \ C) /\ G) \/ ((C /\ G) \ (P /\ G)) is set
(C \ P) /\ G is set
((P \ C) /\ G) \/ ((C \ P) /\ G) is set
P is set
G is set
P \/ G is set
C is set
(P \/ G) \/ C is set
G \/ C is set
x is set
((P \/ G) \/ C) \/ x is set
(G \/ C) \/ x is set
P \/ ((G \/ C) \/ x) is set
C \/ x is set
(P \/ G) \/ (C \/ x) is set
G \/ (C \/ x) is set
P \/ (G \/ (C \/ x)) is set
P is set
x is set
G is set
C is set
P \/ G is set
(P \/ G) \/ C is set
P is set
P is set
G is set
P /\ G is set
C is set
G /\ C is set
P /\ (G /\ C) is set
P /\ C is set
(P /\ G) /\ (P /\ C) is set
P /\ P is set
(P /\ P) /\ G is set
((P /\ P) /\ G) /\ C is set
P /\ (P /\ G) is set
(P /\ (P /\ G)) /\ C is set
C is set
G is set
P is set
P \ C is set
P \ G is set
G \ C is set
P /\ (G \ C) is set
(P \ G) \/ (P /\ (G \ C)) is set
x is set
P /\ G is set
(P /\ G) \ C is set