:: 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