:: BVFUNC_5 semantic presentation

K114() is Element of K10(K110())
K110() is set
K10(K110()) is set
K109() is set
K10(K109()) is set
K10(K114()) is set
BOOLEAN is non empty set
FALSE is V39() boolean Element of BOOLEAN
K115() is empty V55() Element of K114()
TRUE is V39() boolean Element of BOOLEAN
1 is non empty set
FALSE is V39() boolean set
TRUE is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
a . c is V39() boolean Element of BOOLEAN
(a '&' b) . c is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
(a . c) '&' (b . c) is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(I_el Y) 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
b . c is V39() boolean Element of BOOLEAN
((I_el Y) 'imp' b) . c is V39() boolean Element of BOOLEAN
(I_el Y) . c is V39() boolean Element of BOOLEAN
'not' ((I_el Y) . c) is V39() boolean Element of BOOLEAN
('not' ((I_el Y) . c)) 'or' (b . c) is V39() boolean set
'not' ('not' ((I_el Y) . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' ((I_el Y) . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' ((I_el Y) . c))) '&' ('not' (b . c))) is V39() boolean set
FALSE 'or' (b . c) is V39() boolean set
'not' FALSE is V39() boolean set
('not' FALSE) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' FALSE) '&' ('not' (b . c))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'or' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(a 'or' b) . c is V39() boolean Element of BOOLEAN
a . c is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
TRUE 'or' (b . c) is V39() boolean set
'not' TRUE is V39() boolean set
'not' (b . c) is V39() boolean set
('not' TRUE) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' TRUE) '&' ('not' (b . c))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' TRUE is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (a . c))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
('not' a) . c is V39() boolean Element of BOOLEAN
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
TRUE 'or' (b . c) is V39() boolean set
'not' TRUE is V39() boolean set
'not' (b . c) is V39() boolean set
('not' TRUE) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' TRUE) '&' ('not' (b . c))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' ('not' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' (a '&' ('not' a)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Element of Y
('not' (a '&' ('not' a))) . b is set
(I_el Y) . b is set
('not' (a '&' ('not' a))) . b is V39() boolean Element of BOOLEAN
(a '&' ('not' a)) . b is V39() boolean Element of BOOLEAN
'not' ((a '&' ('not' a)) . b) is V39() boolean Element of BOOLEAN
a . b is V39() boolean Element of BOOLEAN
('not' a) . b is V39() boolean Element of BOOLEAN
(a . b) '&' (('not' a) . b) is V39() boolean Element of BOOLEAN
'not' ((a . b) '&' (('not' a) . b)) is V39() boolean Element of BOOLEAN
'not' (a . b) is V39() boolean Element of BOOLEAN
(a . b) '&' ('not' (a . b)) is V39() boolean Element of BOOLEAN
'not' ((a . b) '&' ('not' (a . b))) is V39() boolean Element of BOOLEAN
(I_el Y) . b is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Element of Y
(a 'imp' a) . b is set
(I_el Y) . b is set
(a 'imp' a) . b is V39() boolean Element of BOOLEAN
a . b is V39() boolean Element of BOOLEAN
'not' (a . b) is V39() boolean Element of BOOLEAN
('not' (a . b)) 'or' (a . b) is V39() boolean set
'not' ('not' (a . b)) is V39() boolean set
'not' (a . b) is V39() boolean set
('not' ('not' (a . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' (a . b))) '&' ('not' (a . b))) is V39() boolean set
(I_el Y) . b is V39() boolean Element of BOOLEAN
'not' FALSE is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' b) 'imp' ('not' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
(('not' b) 'imp' ('not' a)) . c is V39() boolean Element of BOOLEAN
('not' b) . c is V39() boolean Element of BOOLEAN
'not' (('not' b) . c) is V39() boolean Element of BOOLEAN
('not' a) . c is V39() boolean Element of BOOLEAN
('not' (('not' b) . c)) 'or' (('not' a) . c) is V39() boolean set
'not' ('not' (('not' b) . c)) is V39() boolean set
'not' (('not' a) . c) is V39() boolean set
('not' ('not' (('not' b) . c))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' (('not' b) . c))) '&' ('not' (('not' a) . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
'not' ('not' (b . c)) is V39() boolean Element of BOOLEAN
('not' ('not' (b . c))) 'or' (('not' a) . c) is V39() boolean set
'not' ('not' ('not' (b . c))) is V39() boolean set
('not' ('not' ('not' (b . c)))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' ('not' (b . c)))) '&' ('not' (('not' a) . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' ('not' (b . c))) 'or' ('not' (a . c)) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
('not' ('not' ('not' (b . c)))) '&' ('not' ('not' (a . c))) is V39() boolean set
'not' (('not' ('not' ('not' (b . c)))) '&' ('not' ('not' (a . c)))) is V39() boolean set
TRUE 'or' (b . c) is V39() boolean set
'not' TRUE is V39() boolean set
'not' (b . c) is V39() boolean set
('not' TRUE) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' TRUE) '&' ('not' (b . c))) is V39() boolean set
('not' (a . c)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (a . c))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' TRUE)) is V39() boolean set
c is Element of Y
(('not' b) 'imp' ('not' a)) . c is V39() boolean Element of BOOLEAN
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (b . c))) is V39() boolean set
('not' b) . c is V39() boolean Element of BOOLEAN
'not' (('not' b) . c) is V39() boolean Element of BOOLEAN
('not' a) . c is V39() boolean Element of BOOLEAN
('not' (('not' b) . c)) 'or' (('not' a) . c) is V39() boolean set
'not' ('not' (('not' b) . c)) is V39() boolean set
'not' (('not' a) . c) is V39() boolean set
('not' ('not' (('not' b) . c))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' (('not' b) . c))) '&' ('not' (('not' a) . c))) is V39() boolean set
('not' (('not' b) . c)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (('not' b) . c))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (('not' b) . c))) '&' ('not' TRUE)) is V39() boolean set
('not' b) . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
'not' ('not' (b . c)) is V39() boolean Element of BOOLEAN
('not' a) . c is V39() boolean Element of BOOLEAN
('not' ('not' (b . c))) 'or' (('not' a) . c) is V39() boolean set
'not' ('not' ('not' (b . c))) is V39() boolean set
'not' (('not' a) . c) is V39() boolean set
('not' ('not' ('not' (b . c)))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' ('not' (b . c)))) '&' ('not' (('not' a) . c))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
(a 'imp' c) . d is V39() boolean Element of BOOLEAN
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
c . d is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (c . d))) is V39() boolean set
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' ('not' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
('not' a) . c is V39() boolean Element of BOOLEAN
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (b . c))) is V39() boolean set
(a 'imp' ('not' b)) . c is V39() boolean Element of BOOLEAN
('not' b) . c is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (('not' b) . c) is V39() boolean set
'not' (('not' b) . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (('not' b) . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (('not' b) . c))) is V39() boolean set
'not' (b . c) is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' a) 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(('not' a) 'imp' a) 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Element of Y
((('not' a) 'imp' a) 'imp' a) . b is set
(I_el Y) . b is set
('not' a) . b is V39() boolean Element of BOOLEAN
'not' (('not' a) . b) is V39() boolean Element of BOOLEAN
a . b is V39() boolean Element of BOOLEAN
('not' (('not' a) . b)) 'or' (a . b) is V39() boolean set
'not' ('not' (('not' a) . b)) is V39() boolean set
'not' (a . b) is V39() boolean set
('not' ('not' (('not' a) . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' (('not' a) . b))) '&' ('not' (a . b))) is V39() boolean set
'not' (('not' (('not' a) . b)) 'or' (a . b)) is V39() boolean set
(a . b) 'or' (a . b) is V39() boolean set
('not' (a . b)) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' (a . b)) '&' ('not' (a . b))) is V39() boolean set
'not' ((a . b) 'or' (a . b)) is V39() boolean set
'not' (a . b) is V39() boolean Element of BOOLEAN
((('not' a) 'imp' a) 'imp' a) . b is V39() boolean Element of BOOLEAN
(('not' a) 'imp' a) . b is V39() boolean Element of BOOLEAN
'not' ((('not' a) 'imp' a) . b) is V39() boolean Element of BOOLEAN
('not' ((('not' a) 'imp' a) . b)) 'or' (a . b) is V39() boolean set
'not' ('not' ((('not' a) 'imp' a) . b)) is V39() boolean set
('not' ('not' ((('not' a) 'imp' a) . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' ((('not' a) 'imp' a) . b))) '&' ('not' (a . b))) is V39() boolean set
('not' (a . b)) 'or' (a . b) is V39() boolean set
'not' ('not' (a . b)) is V39() boolean set
('not' ('not' (a . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' (a . b))) '&' ('not' (a . b))) is V39() boolean set
(I_el Y) . b is V39() boolean Element of BOOLEAN
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b '&' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' (b '&' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' (a '&' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' (b '&' c)) 'imp' ('not' (a '&' c)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' (('not' (b '&' c)) 'imp' ('not' (a '&' c))) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((a 'imp' b) 'imp' (('not' (b '&' c)) 'imp' ('not' (a '&' c)))) . d is set
(I_el Y) . d is set
((a 'imp' b) 'imp' (('not' (b '&' c)) 'imp' ('not' (a '&' c)))) . d is V39() boolean Element of BOOLEAN
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
'not' ((a 'imp' b) . d) is V39() boolean Element of BOOLEAN
(('not' (b '&' c)) 'imp' ('not' (a '&' c))) . d is V39() boolean Element of BOOLEAN
('not' ((a 'imp' b) . d)) 'or' ((('not' (b '&' c)) 'imp' ('not' (a '&' c))) . d) is V39() boolean set
'not' ('not' ((a 'imp' b) . d)) is V39() boolean set
'not' ((('not' (b '&' c)) 'imp' ('not' (a '&' c))) . d) is V39() boolean set
('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((('not' (b '&' c)) 'imp' ('not' (a '&' c))) . d)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((('not' (b '&' c)) 'imp' ('not' (a '&' c))) . d))) is V39() boolean set
('not' (b '&' c)) . d is V39() boolean Element of BOOLEAN
'not' (('not' (b '&' c)) . d) is V39() boolean Element of BOOLEAN
('not' (a '&' c)) . d is V39() boolean Element of BOOLEAN
('not' (('not' (b '&' c)) . d)) 'or' (('not' (a '&' c)) . d) is V39() boolean set
'not' ('not' (('not' (b '&' c)) . d)) is V39() boolean set
'not' (('not' (a '&' c)) . d) is V39() boolean set
('not' ('not' (('not' (b '&' c)) . d))) '&' ('not' (('not' (a '&' c)) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (b '&' c)) . d))) '&' ('not' (('not' (a '&' c)) . d))) is V39() boolean set
('not' ((a 'imp' b) . d)) 'or' (('not' (('not' (b '&' c)) . d)) 'or' (('not' (a '&' c)) . d)) is V39() boolean set
'not' (('not' (('not' (b '&' c)) . d)) 'or' (('not' (a '&' c)) . d)) is V39() boolean set
('not' ('not' ((a 'imp' b) . d))) '&' ('not' (('not' (('not' (b '&' c)) . d)) 'or' (('not' (a '&' c)) . d))) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . d))) '&' ('not' (('not' (('not' (b '&' c)) . d)) 'or' (('not' (a '&' c)) . d)))) is V39() boolean set
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' a) 'or' ('not' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(('not' a) 'or' ('not' c)) . d is V39() boolean Element of BOOLEAN
('not' a) . d is V39() boolean Element of BOOLEAN
('not' c) . d is V39() boolean Element of BOOLEAN
(('not' a) . d) 'or' (('not' c) . d) is V39() boolean set
'not' (('not' a) . d) is V39() boolean set
'not' (('not' c) . d) is V39() boolean set
('not' (('not' a) . d)) '&' ('not' (('not' c) . d)) is V39() boolean set
'not' (('not' (('not' a) . d)) '&' ('not' (('not' c) . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (('not' c) . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (('not' c) . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (('not' c) . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' ('not' (c . d)) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' ('not' (c . d)))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (a . d)) 'or' (('not' (c . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' (c . d)) 'or' (c . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (('not' (c . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (('not' (c . d)) 'or' (c . d)))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
(('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d) is V39() boolean set
'not' (('not' (a . d)) 'or' ('not' (c . d))) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' (b . d))) is V39() boolean set
((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) '&' (('not' (a . d)) 'or' (('not' (c . d)) 'or' (c . d))) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
(b '&' c) . d is V39() boolean Element of BOOLEAN
'not' ((b '&' c) . d) is V39() boolean Element of BOOLEAN
'not' ('not' ((b '&' c) . d)) is V39() boolean Element of BOOLEAN
(b . d) '&' (c . d) is V39() boolean Element of BOOLEAN
(('not' (a . d)) 'or' ('not' (c . d))) 'or' (c . d) is V39() boolean set
('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' (c . d))) is V39() boolean set
((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) '&' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' (c . d)) is V39() boolean set
('not' (a . d)) 'or' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (b . d)) is V39() boolean set
(a . d) '&' ('not' (b . d)) is V39() boolean Element of BOOLEAN
((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) 'or' (a . d) is V39() boolean set
'not' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) is V39() boolean set
('not' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d))) '&' ('not' (a . d))) is V39() boolean set
((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) 'or' ('not' (b . d)) is V39() boolean set
('not' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d))) '&' ('not' ('not' (b . d)))) is V39() boolean set
(((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) 'or' (a . d)) '&' (((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) 'or' ('not' (b . d))) is V39() boolean set
(b . d) 'or' ('not' (b . d)) is V39() boolean set
('not' (b . d)) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (b . d)) '&' ('not' ('not' (b . d)))) is V39() boolean set
(('not' (a . d)) 'or' ('not' (c . d))) 'or' ((b . d) 'or' ('not' (b . d))) is V39() boolean set
'not' ((b . d) 'or' ('not' (b . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' ((b . d) 'or' ('not' (b . d)))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' ((b . d) 'or' ('not' (b . d))))) is V39() boolean set
(((('not' (a . d)) 'or' ('not' (c . d))) 'or' (b . d)) 'or' (a . d)) '&' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' ((b . d) 'or' ('not' (b . d)))) is V39() boolean set
('not' (c . d)) 'or' ('not' (a . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' ('not' (a . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' ('not' (a . d)))) is V39() boolean set
(('not' (c . d)) 'or' ('not' (a . d))) 'or' (a . d) is V39() boolean set
'not' (('not' (c . d)) 'or' ('not' (a . d))) is V39() boolean set
('not' (('not' (c . d)) 'or' ('not' (a . d)))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' (('not' (c . d)) 'or' ('not' (a . d)))) '&' ('not' (a . d))) is V39() boolean set
((('not' (c . d)) 'or' ('not' (a . d))) 'or' (a . d)) 'or' (b . d) is V39() boolean set
'not' ((('not' (c . d)) 'or' ('not' (a . d))) 'or' (a . d)) is V39() boolean set
('not' ((('not' (c . d)) 'or' ('not' (a . d))) 'or' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ((('not' (c . d)) 'or' ('not' (a . d))) 'or' (a . d))) '&' ('not' (b . d))) is V39() boolean set
(((('not' (c . d)) 'or' ('not' (a . d))) 'or' (a . d)) 'or' (b . d)) '&' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' ((b . d) 'or' ('not' (b . d)))) is V39() boolean set
('not' (c . d)) 'or' (('not' (a . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (a . d)) 'or' (a . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (('not' (a . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (('not' (a . d)) 'or' (a . d)))) is V39() boolean set
(('not' (c . d)) 'or' (('not' (a . d)) 'or' (a . d))) 'or' (b . d) is V39() boolean set
'not' (('not' (c . d)) 'or' (('not' (a . d)) 'or' (a . d))) is V39() boolean set
('not' (('not' (c . d)) 'or' (('not' (a . d)) 'or' (a . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' (('not' (c . d)) 'or' (('not' (a . d)) 'or' (a . d)))) '&' ('not' (b . d))) is V39() boolean set
((('not' (c . d)) 'or' (('not' (a . d)) 'or' (a . d))) 'or' (b . d)) '&' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' ((b . d) 'or' ('not' (b . d)))) is V39() boolean set
TRUE 'or' (b . d) is V39() boolean set
'not' TRUE is V39() boolean set
('not' TRUE) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' TRUE) '&' ('not' (b . d))) is V39() boolean set
(('not' (a . d)) 'or' ('not' (c . d))) 'or' TRUE is V39() boolean set
('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' ('not' (c . d)))) '&' ('not' TRUE)) is V39() boolean set
(TRUE 'or' (b . d)) '&' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' TRUE) is V39() boolean set
TRUE '&' ((('not' (a . d)) 'or' ('not' (c . d))) 'or' TRUE) is V39() boolean set
TRUE '&' TRUE is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(b 'imp' c) 'imp' (a 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' ((b 'imp' c) 'imp' (a 'imp' c)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((a 'imp' b) 'imp' ((b 'imp' c) 'imp' (a 'imp' c))) . d is set
(I_el Y) . d is set
((a 'imp' b) 'imp' ((b 'imp' c) 'imp' (a 'imp' c))) . d is V39() boolean Element of BOOLEAN
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
'not' ((a 'imp' b) . d) is V39() boolean Element of BOOLEAN
((b 'imp' c) 'imp' (a 'imp' c)) . d is V39() boolean Element of BOOLEAN
('not' ((a 'imp' b) . d)) 'or' (((b 'imp' c) 'imp' (a 'imp' c)) . d) is V39() boolean set
'not' ('not' ((a 'imp' b) . d)) is V39() boolean set
'not' (((b 'imp' c) 'imp' (a 'imp' c)) . d) is V39() boolean set
('not' ('not' ((a 'imp' b) . d))) '&' ('not' (((b 'imp' c) 'imp' (a 'imp' c)) . d)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . d))) '&' ('not' (((b 'imp' c) 'imp' (a 'imp' c)) . d))) is V39() boolean set
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
'not' ((b 'imp' c) . d) is V39() boolean Element of BOOLEAN
(a 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' ((b 'imp' c) . d)) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' ((a 'imp' c) . d) is V39() boolean set
('not' ('not' ((b 'imp' c) . d))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' ((b 'imp' c) . d))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
('not' ((a 'imp' b) . d)) 'or' (('not' ((b 'imp' c) . d)) 'or' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ((b 'imp' c) . d)) 'or' ((a 'imp' c) . d)) is V39() boolean set
('not' ('not' ((a 'imp' b) . d))) '&' ('not' (('not' ((b 'imp' c) . d)) 'or' ((a 'imp' c) . d))) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . d))) '&' ('not' (('not' ((b 'imp' c) . d)) 'or' ((a 'imp' c) . d)))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
c . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
'not' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean Element of BOOLEAN
(b . d) '&' ('not' (c . d)) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (a . d)) 'or' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (b . d)) is V39() boolean set
(a . d) '&' ('not' (b . d)) is V39() boolean Element of BOOLEAN
((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
'not' ((b . d) '&' ('not' (c . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
(((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (a . d) is V39() boolean set
'not' (((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
('not' (((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' (((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' (a . d))) is V39() boolean set
(((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' ('not' (b . d)) is V39() boolean set
('not' (((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' ('not' (b . d)))) is V39() boolean set
((((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (a . d)) '&' ((((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' ('not' (b . d))) is V39() boolean set
(c . d) 'or' ('not' (a . d)) is V39() boolean set
('not' (c . d)) '&' ('not' ('not' (a . d))) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' ('not' (a . d)))) is V39() boolean set
((c . d) 'or' ('not' (a . d))) 'or' (a . d) is V39() boolean set
'not' ((c . d) 'or' ('not' (a . d))) is V39() boolean set
('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' (a . d))) is V39() boolean set
((b . d) '&' ('not' (c . d))) 'or' (((c . d) 'or' ('not' (a . d))) 'or' (a . d)) is V39() boolean set
'not' (((c . d) 'or' ('not' (a . d))) 'or' (a . d)) is V39() boolean set
('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' (((c . d) 'or' ('not' (a . d))) 'or' (a . d))) is V39() boolean set
'not' (('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' (((c . d) 'or' ('not' (a . d))) 'or' (a . d)))) is V39() boolean set
(((b . d) '&' ('not' (c . d))) 'or' (((c . d) 'or' ('not' (a . d))) 'or' (a . d))) '&' ((((b . d) '&' ('not' (c . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' ('not' (b . d))) is V39() boolean set
(c . d) 'or' (('not' (a . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (a . d)) 'or' (a . d)) is V39() boolean set
('not' (c . d)) '&' ('not' (('not' (a . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' (('not' (a . d)) 'or' (a . d)))) is V39() boolean set
((b . d) '&' ('not' (c . d))) 'or' ((c . d) 'or' (('not' (a . d)) 'or' (a . d))) is V39() boolean set
'not' ((c . d) 'or' (('not' (a . d)) 'or' (a . d))) is V39() boolean set
('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' ((c . d) 'or' (('not' (a . d)) 'or' (a . d)))) is V39() boolean set
'not' (('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' ((c . d) 'or' (('not' (a . d)) 'or' (a . d))))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ((b . d) '&' ('not' (c . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((b . d) '&' ('not' (c . d))))) is V39() boolean set
((('not' (a . d)) 'or' (c . d)) 'or' ((b . d) '&' ('not' (c . d)))) 'or' ('not' (b . d)) is V39() boolean set
'not' ((('not' (a . d)) 'or' (c . d)) 'or' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
('not' ((('not' (a . d)) 'or' (c . d)) 'or' ((b . d) '&' ('not' (c . d))))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' ((('not' (a . d)) 'or' (c . d)) 'or' ((b . d) '&' ('not' (c . d))))) '&' ('not' ('not' (b . d)))) is V39() boolean set
(((b . d) '&' ('not' (c . d))) 'or' ((c . d) 'or' (('not' (a . d)) 'or' (a . d)))) '&' (((('not' (a . d)) 'or' (c . d)) 'or' ((b . d) '&' ('not' (c . d)))) 'or' ('not' (b . d))) is V39() boolean set
('not' (c . d)) '&' (b . d) is V39() boolean Element of BOOLEAN
(('not' (c . d)) '&' (b . d)) 'or' ('not' (b . d)) is V39() boolean set
'not' (('not' (c . d)) '&' (b . d)) is V39() boolean set
('not' (('not' (c . d)) '&' (b . d))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (('not' (c . d)) '&' (b . d))) '&' ('not' ('not' (b . d)))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ((('not' (c . d)) '&' (b . d)) 'or' ('not' (b . d))) is V39() boolean set
'not' ((('not' (c . d)) '&' (b . d)) 'or' ('not' (b . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((('not' (c . d)) '&' (b . d)) 'or' ('not' (b . d)))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((('not' (c . d)) '&' (b . d)) 'or' ('not' (b . d))))) is V39() boolean set
(((b . d) '&' ('not' (c . d))) 'or' ((c . d) 'or' (('not' (a . d)) 'or' (a . d)))) '&' ((('not' (a . d)) 'or' (c . d)) 'or' ((('not' (c . d)) '&' (b . d)) 'or' ('not' (b . d)))) is V39() boolean set
('not' (b . d)) 'or' ('not' (c . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' ('not' (c . d)))) is V39() boolean set
(('not' (b . d)) 'or' ('not' (c . d))) '&' (('not' (b . d)) 'or' (b . d)) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ((('not' (b . d)) 'or' ('not' (c . d))) '&' (('not' (b . d)) 'or' (b . d))) is V39() boolean set
'not' ((('not' (b . d)) 'or' ('not' (c . d))) '&' (('not' (b . d)) 'or' (b . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((('not' (b . d)) 'or' ('not' (c . d))) '&' (('not' (b . d)) 'or' (b . d)))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((('not' (b . d)) 'or' ('not' (c . d))) '&' (('not' (b . d)) 'or' (b . d))))) is V39() boolean set
(((b . d) '&' ('not' (c . d))) 'or' ((c . d) 'or' (('not' (a . d)) 'or' (a . d)))) '&' ((('not' (a . d)) 'or' (c . d)) 'or' ((('not' (b . d)) 'or' ('not' (c . d))) '&' (('not' (b . d)) 'or' (b . d)))) is V39() boolean set
((b . d) '&' ('not' (c . d))) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' TRUE)) is V39() boolean set
(('not' (b . d)) 'or' ('not' (c . d))) '&' TRUE is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ((('not' (b . d)) 'or' ('not' (c . d))) '&' TRUE) is V39() boolean set
'not' ((('not' (b . d)) 'or' ('not' (c . d))) '&' TRUE) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((('not' (b . d)) 'or' ('not' (c . d))) '&' TRUE)) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((('not' (b . d)) 'or' ('not' (c . d))) '&' TRUE))) is V39() boolean set
(((b . d) '&' ('not' (c . d))) 'or' TRUE) '&' ((('not' (a . d)) 'or' (c . d)) 'or' ((('not' (b . d)) 'or' ('not' (c . d))) '&' TRUE)) is V39() boolean set
TRUE '&' ((('not' (a . d)) 'or' (c . d)) 'or' ((('not' (b . d)) 'or' ('not' (c . d))) '&' TRUE)) is V39() boolean set
TRUE '&' (('not' (b . d)) 'or' ('not' (c . d))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' (TRUE '&' (('not' (b . d)) 'or' ('not' (c . d)))) is V39() boolean set
'not' (TRUE '&' (('not' (b . d)) 'or' ('not' (c . d)))) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (TRUE '&' (('not' (b . d)) 'or' ('not' (c . d))))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (TRUE '&' (('not' (b . d)) 'or' ('not' (c . d)))))) is V39() boolean set
('not' (c . d)) 'or' ('not' (b . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' ('not' (b . d)))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' (('not' (c . d)) 'or' ('not' (b . d))) is V39() boolean set
'not' (('not' (c . d)) 'or' ('not' (b . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (('not' (c . d)) 'or' ('not' (b . d)))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (('not' (c . d)) 'or' ('not' (b . d))))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (c . d)))) is V39() boolean set
((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d))) 'or' ('not' (b . d)) is V39() boolean set
'not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d))) is V39() boolean set
('not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d)))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d)))) '&' ('not' ('not' (b . d)))) is V39() boolean set
('not' (a . d)) 'or' TRUE is V39() boolean set
('not' ('not' (a . d))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' TRUE)) is V39() boolean set
(('not' (a . d)) 'or' TRUE) 'or' ('not' (b . d)) is V39() boolean set
'not' (('not' (a . d)) 'or' TRUE) is V39() boolean set
('not' (('not' (a . d)) 'or' TRUE)) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' TRUE)) '&' ('not' ('not' (b . d)))) is V39() boolean set
TRUE 'or' ('not' (b . d)) is V39() boolean set
('not' TRUE) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' TRUE) '&' ('not' ('not' (b . d)))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(b 'imp' c) 'imp' (a 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((b 'imp' c) 'imp' (a 'imp' c)) . d is V39() boolean Element of BOOLEAN
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
'not' ((b 'imp' c) . d) is V39() boolean Element of BOOLEAN
(a 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' ((b 'imp' c) . d)) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' ((a 'imp' c) . d) is V39() boolean set
('not' ('not' ((b 'imp' c) . d))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' ((b 'imp' c) . d))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
c . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
'not' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
('not' (('not' (b . d)) 'or' (c . d))) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
('not' ('not' (('not' (b . d)) 'or' (c . d)))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (b . d)) 'or' (c . d)))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (c . d))) is V39() boolean set
'not' (c . d) is V39() boolean Element of BOOLEAN
(b . d) '&' ('not' (c . d)) is V39() boolean Element of BOOLEAN
(('not' (a . d)) 'or' (c . d)) 'or' ((b . d) '&' ('not' (c . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
'not' ((b . d) '&' ('not' (c . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ((b . d) '&' ('not' (c . d))))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
TRUE 'or' ((b . d) '&' ('not' (c . d))) is V39() boolean set
'not' TRUE is V39() boolean set
('not' TRUE) '&' ('not' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
'not' (('not' TRUE) '&' ('not' ((b . d) '&' ('not' (c . d))))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (c . d)))) is V39() boolean set
('not' (a . d)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (a . d))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' (a 'imp' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(b 'imp' (a 'imp' b)) . c is set
(I_el Y) . c is set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
(b 'imp' (a 'imp' b)) . c is V39() boolean Element of BOOLEAN
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' ((a 'imp' b) . c) is V39() boolean set
'not' ((a 'imp' b) . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' ((a 'imp' b) . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' ((a 'imp' b) . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
(b . c) 'or' ('not' (a . c)) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
('not' (b . c)) '&' ('not' ('not' (a . c))) is V39() boolean set
'not' (('not' (b . c)) '&' ('not' ('not' (a . c)))) is V39() boolean set
('not' (b . c)) 'or' ((b . c) 'or' ('not' (a . c))) is V39() boolean set
'not' ((b . c) 'or' ('not' (a . c))) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' ((b . c) 'or' ('not' (a . c)))) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' ((b . c) 'or' ('not' (a . c))))) is V39() boolean set
TRUE 'or' ('not' (a . c)) is V39() boolean set
'not' TRUE is V39() boolean set
('not' TRUE) '&' ('not' ('not' (a . c))) is V39() boolean set
'not' (('not' TRUE) '&' ('not' ('not' (a . c)))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
((a 'imp' b) 'imp' c) 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' (a 'imp' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(b 'imp' a) 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' ((b 'imp' a) 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(b 'imp' ((b 'imp' a) 'imp' a)) . c is set
(I_el Y) . c is set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
(b 'imp' ((b 'imp' a) 'imp' a)) . c is V39() boolean Element of BOOLEAN
((b 'imp' a) 'imp' a) . c is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (((b 'imp' a) 'imp' a) . c) is V39() boolean set
'not' (((b 'imp' a) 'imp' a) . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (((b 'imp' a) 'imp' a) . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (((b 'imp' a) 'imp' a) . c))) is V39() boolean set
(b 'imp' a) . c is V39() boolean Element of BOOLEAN
'not' ((b 'imp' a) . c) is V39() boolean Element of BOOLEAN
('not' ((b 'imp' a) . c)) 'or' (a . c) is V39() boolean set
'not' ('not' ((b 'imp' a) . c)) is V39() boolean set
('not' ('not' ((b 'imp' a) . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' ((b 'imp' a) . c))) '&' ('not' (a . c))) is V39() boolean set
('not' (b . c)) 'or' (('not' ((b 'imp' a) . c)) 'or' (a . c)) is V39() boolean set
'not' (('not' ((b 'imp' a) . c)) 'or' (a . c)) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (('not' ((b 'imp' a) . c)) 'or' (a . c))) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (('not' ((b 'imp' a) . c)) 'or' (a . c)))) is V39() boolean set
('not' (b . c)) 'or' (a . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (a . c))) is V39() boolean set
'not' (('not' (b . c)) 'or' (a . c)) is V39() boolean set
('not' (('not' (b . c)) 'or' (a . c))) 'or' (a . c) is V39() boolean set
'not' ('not' (('not' (b . c)) 'or' (a . c))) is V39() boolean set
('not' ('not' (('not' (b . c)) 'or' (a . c)))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (('not' (b . c)) 'or' (a . c)))) '&' ('not' (a . c))) is V39() boolean set
('not' (b . c)) 'or' (('not' (('not' (b . c)) 'or' (a . c))) 'or' (a . c)) is V39() boolean set
'not' (('not' (('not' (b . c)) 'or' (a . c))) 'or' (a . c)) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (('not' (('not' (b . c)) 'or' (a . c))) 'or' (a . c))) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (('not' (('not' (b . c)) 'or' (a . c))) 'or' (a . c)))) is V39() boolean set
(a . c) 'or' (b . c) is V39() boolean set
('not' (a . c)) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' (b . c))) is V39() boolean set
((a . c) 'or' (b . c)) '&' TRUE is V39() boolean set
('not' (b . c)) 'or' (((a . c) 'or' (b . c)) '&' TRUE) is V39() boolean set
'not' (((a . c) 'or' (b . c)) '&' TRUE) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (((a . c) 'or' (b . c)) '&' TRUE)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (((a . c) 'or' (b . c)) '&' TRUE))) is V39() boolean set
('not' (b . c)) 'or' ((a . c) 'or' (b . c)) is V39() boolean set
'not' ((a . c) 'or' (b . c)) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' ((a . c) 'or' (b . c))) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' ((a . c) 'or' (b . c)))) is V39() boolean set
(('not' (b . c)) 'or' (b . c)) 'or' (a . c) is V39() boolean set
'not' (('not' (b . c)) 'or' (b . c)) is V39() boolean set
('not' (('not' (b . c)) 'or' (b . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' (('not' (b . c)) 'or' (b . c))) '&' ('not' (a . c))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c 'imp' (b 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' (c 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(c 'imp' (b 'imp' a)) 'imp' (b 'imp' (c 'imp' a)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((c 'imp' (b 'imp' a)) 'imp' (b 'imp' (c 'imp' a))) . d is set
(I_el Y) . d is set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
((c 'imp' (b 'imp' a)) 'imp' (b 'imp' (c 'imp' a))) . d is V39() boolean Element of BOOLEAN
(c 'imp' (b 'imp' a)) . d is V39() boolean Element of BOOLEAN
'not' ((c 'imp' (b 'imp' a)) . d) is V39() boolean Element of BOOLEAN
(b 'imp' (c 'imp' a)) . d is V39() boolean Element of BOOLEAN
('not' ((c 'imp' (b 'imp' a)) . d)) 'or' ((b 'imp' (c 'imp' a)) . d) is V39() boolean set
'not' ('not' ((c 'imp' (b 'imp' a)) . d)) is V39() boolean set
'not' ((b 'imp' (c 'imp' a)) . d) is V39() boolean set
('not' ('not' ((c 'imp' (b 'imp' a)) . d))) '&' ('not' ((b 'imp' (c 'imp' a)) . d)) is V39() boolean set
'not' (('not' ('not' ((c 'imp' (b 'imp' a)) . d))) '&' ('not' ((b 'imp' (c 'imp' a)) . d))) is V39() boolean set
(b 'imp' a) . d is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' ((b 'imp' a) . d) is V39() boolean set
'not' ((b 'imp' a) . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' ((b 'imp' a) . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' ((b 'imp' a) . d))) is V39() boolean set
'not' (('not' (c . d)) 'or' ((b 'imp' a) . d)) is V39() boolean set
('not' (('not' (c . d)) 'or' ((b 'imp' a) . d))) 'or' ((b 'imp' (c 'imp' a)) . d) is V39() boolean set
'not' ('not' (('not' (c . d)) 'or' ((b 'imp' a) . d))) is V39() boolean set
('not' ('not' (('not' (c . d)) 'or' ((b 'imp' a) . d)))) '&' ('not' ((b 'imp' (c 'imp' a)) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (c . d)) 'or' ((b 'imp' a) . d)))) '&' ('not' ((b 'imp' (c 'imp' a)) . d))) is V39() boolean set
('not' (b . d)) 'or' (a . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' (a . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (('not' (b . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (('not' (b . d)) 'or' (a . d)))) is V39() boolean set
'not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d))) is V39() boolean set
('not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d)))) 'or' ((b 'imp' (c 'imp' a)) . d) is V39() boolean set
'not' ('not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d)))) is V39() boolean set
('not' ('not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d))))) '&' ('not' ((b 'imp' (c 'imp' a)) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d))))) '&' ('not' ((b 'imp' (c 'imp' a)) . d))) is V39() boolean set
(c 'imp' a) . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' ((c 'imp' a) . d) is V39() boolean set
'not' ((c 'imp' a) . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' ((c 'imp' a) . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' ((c 'imp' a) . d))) is V39() boolean set
('not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d)))) 'or' (('not' (b . d)) 'or' ((c 'imp' a) . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' ((c 'imp' a) . d)) is V39() boolean set
('not' ('not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d))))) '&' ('not' (('not' (b . d)) 'or' ((c 'imp' a) . d))) is V39() boolean set
'not' (('not' ('not' (('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d))))) '&' ('not' (('not' (b . d)) 'or' ((c 'imp' a) . d)))) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean Element of BOOLEAN
('not' ('not' (b . d))) '&' ('not' (a . d)) is V39() boolean Element of BOOLEAN
(c . d) '&' (('not' ('not' (b . d))) '&' ('not' (a . d))) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (a . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (b . d)) 'or' (('not' (c . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (c . d)) 'or' (a . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (('not' (c . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (('not' (c . d)) 'or' (a . d)))) is V39() boolean set
((c . d) '&' (('not' ('not' (b . d))) '&' ('not' (a . d)))) 'or' (('not' (b . d)) 'or' (('not' (c . d)) 'or' (a . d))) is V39() boolean set
'not' ((c . d) '&' (('not' ('not' (b . d))) '&' ('not' (a . d)))) is V39() boolean set
'not' (('not' (b . d)) 'or' (('not' (c . d)) 'or' (a . d))) is V39() boolean set
('not' ((c . d) '&' (('not' ('not' (b . d))) '&' ('not' (a . d))))) '&' ('not' (('not' (b . d)) 'or' (('not' (c . d)) 'or' (a . d)))) is V39() boolean set
'not' (('not' ((c . d) '&' (('not' ('not' (b . d))) '&' ('not' (a . d))))) '&' ('not' (('not' (b . d)) 'or' (('not' (c . d)) 'or' (a . d))))) is V39() boolean set
(('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d)) is V39() boolean set
('not' (('not' (c . d)) 'or' (a . d))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (('not' (c . d)) 'or' (a . d))) '&' ('not' ('not' (b . d)))) is V39() boolean set
(c . d) '&' ('not' (a . d)) is V39() boolean Element of BOOLEAN
(b . d) '&' ((c . d) '&' ('not' (a . d))) is V39() boolean Element of BOOLEAN
((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) 'or' ((b . d) '&' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
'not' ((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) is V39() boolean set
'not' ((b . d) '&' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
('not' ((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d)))) '&' ('not' ((b . d) '&' ((c . d) '&' ('not' (a . d))))) is V39() boolean set
'not' (('not' ((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d)))) '&' ('not' ((b . d) '&' ((c . d) '&' ('not' (a . d)))))) is V39() boolean set
((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) 'or' (b . d) is V39() boolean set
('not' ((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d)))) '&' ('not' (b . d))) is V39() boolean set
((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) 'or' ((c . d) '&' ('not' (a . d))) is V39() boolean set
'not' ((c . d) '&' ('not' (a . d))) is V39() boolean set
('not' ((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d)))) '&' ('not' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
'not' (('not' ((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d)))) '&' ('not' ((c . d) '&' ('not' (a . d))))) is V39() boolean set
(((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) 'or' (b . d)) '&' (((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) 'or' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
(('not' (c . d)) 'or' (a . d)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' (('not' (c . d)) 'or' (a . d))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (('not' (c . d)) 'or' (a . d))) '&' ('not' TRUE)) is V39() boolean set
((('not' (c . d)) 'or' (a . d)) 'or' TRUE) '&' (((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) 'or' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
TRUE '&' (((('not' (c . d)) 'or' (a . d)) 'or' ('not' (b . d))) 'or' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
(a . d) 'or' ('not' (b . d)) is V39() boolean set
('not' (a . d)) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) '&' ('not' ('not' (b . d)))) is V39() boolean set
((a . d) 'or' ('not' (b . d))) 'or' ('not' (c . d)) is V39() boolean set
'not' ((a . d) 'or' ('not' (b . d))) is V39() boolean set
('not' ((a . d) 'or' ('not' (b . d)))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' ((a . d) 'or' ('not' (b . d)))) '&' ('not' ('not' (c . d)))) is V39() boolean set
(((a . d) 'or' ('not' (b . d))) 'or' ('not' (c . d))) 'or' ((c . d) '&' ('not' (a . d))) is V39() boolean set
'not' (((a . d) 'or' ('not' (b . d))) 'or' ('not' (c . d))) is V39() boolean set
('not' (((a . d) 'or' ('not' (b . d))) 'or' ('not' (c . d)))) '&' ('not' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
'not' (('not' (((a . d) 'or' ('not' (b . d))) 'or' ('not' (c . d)))) '&' ('not' ((c . d) '&' ('not' (a . d))))) is V39() boolean set
('not' (c . d)) 'or' ((c . d) '&' ('not' (a . d))) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' ((c . d) '&' ('not' (a . d))))) is V39() boolean set
((a . d) 'or' ('not' (b . d))) 'or' (('not' (c . d)) 'or' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
'not' (('not' (c . d)) 'or' ((c . d) '&' ('not' (a . d)))) is V39() boolean set
('not' ((a . d) 'or' ('not' (b . d)))) '&' ('not' (('not' (c . d)) 'or' ((c . d) '&' ('not' (a . d))))) is V39() boolean set
'not' (('not' ((a . d) 'or' ('not' (b . d)))) '&' ('not' (('not' (c . d)) 'or' ((c . d) '&' ('not' (a . d)))))) is V39() boolean set
('not' (c . d)) 'or' ('not' (a . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' ('not' (a . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' ('not' (a . d)))) is V39() boolean set
TRUE '&' (('not' (c . d)) 'or' ('not' (a . d))) is V39() boolean set
((a . d) 'or' ('not' (b . d))) 'or' (TRUE '&' (('not' (c . d)) 'or' ('not' (a . d)))) is V39() boolean set
'not' (TRUE '&' (('not' (c . d)) 'or' ('not' (a . d)))) is V39() boolean set
('not' ((a . d) 'or' ('not' (b . d)))) '&' ('not' (TRUE '&' (('not' (c . d)) 'or' ('not' (a . d))))) is V39() boolean set
'not' (('not' ((a . d) 'or' ('not' (b . d)))) '&' ('not' (TRUE '&' (('not' (c . d)) 'or' ('not' (a . d)))))) is V39() boolean set
(('not' (b . d)) 'or' (a . d)) 'or' (('not' (c . d)) 'or' ('not' (a . d))) is V39() boolean set
'not' (('not' (c . d)) 'or' ('not' (a . d))) is V39() boolean set
('not' (('not' (b . d)) 'or' (a . d))) '&' ('not' (('not' (c . d)) 'or' ('not' (a . d)))) is V39() boolean set
'not' (('not' (('not' (b . d)) 'or' (a . d))) '&' ('not' (('not' (c . d)) 'or' ('not' (a . d))))) is V39() boolean set
(('not' (b . d)) 'or' (a . d)) 'or' ('not' (a . d)) is V39() boolean set
('not' (('not' (b . d)) 'or' (a . d))) '&' ('not' ('not' (a . d))) is V39() boolean set
'not' (('not' (('not' (b . d)) 'or' (a . d))) '&' ('not' ('not' (a . d)))) is V39() boolean set
((('not' (b . d)) 'or' (a . d)) 'or' ('not' (a . d))) 'or' ('not' (c . d)) is V39() boolean set
'not' ((('not' (b . d)) 'or' (a . d)) 'or' ('not' (a . d))) is V39() boolean set
('not' ((('not' (b . d)) 'or' (a . d)) 'or' ('not' (a . d)))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' ((('not' (b . d)) 'or' (a . d)) 'or' ('not' (a . d)))) '&' ('not' ('not' (c . d)))) is V39() boolean set
('not' (b . d)) 'or' TRUE is V39() boolean set
('not' ('not' (b . d))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' TRUE)) is V39() boolean set
(('not' (b . d)) 'or' TRUE) 'or' ('not' (c . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' TRUE) is V39() boolean set
('not' (('not' (b . d)) 'or' TRUE)) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (('not' (b . d)) 'or' TRUE)) '&' ('not' ('not' (c . d)))) is V39() boolean set
TRUE 'or' ('not' (c . d)) is V39() boolean set
('not' TRUE) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' TRUE) '&' ('not' ('not' (c . d)))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' (a 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(b 'imp' c) 'imp' ((a 'imp' b) 'imp' (a 'imp' c)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((b 'imp' c) 'imp' ((a 'imp' b) 'imp' (a 'imp' c))) . d is set
(I_el Y) . d is set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
((b 'imp' c) 'imp' ((a 'imp' b) 'imp' (a 'imp' c))) . d is V39() boolean Element of BOOLEAN
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
'not' ((b 'imp' c) . d) is V39() boolean Element of BOOLEAN
((a 'imp' b) 'imp' (a 'imp' c)) . d is V39() boolean Element of BOOLEAN
('not' ((b 'imp' c) . d)) 'or' (((a 'imp' b) 'imp' (a 'imp' c)) . d) is V39() boolean set
'not' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (((a 'imp' b) 'imp' (a 'imp' c)) . d) is V39() boolean set
('not' ('not' ((b 'imp' c) . d))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d)) is V39() boolean set
'not' (('not' ('not' ((b 'imp' c) . d))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d))) is V39() boolean set
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
'not' ((a 'imp' b) . d) is V39() boolean Element of BOOLEAN
(a 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' ((a 'imp' b) . d)) is V39() boolean set
'not' ((a 'imp' c) . d) is V39() boolean set
('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
('not' ((b 'imp' c) . d)) 'or' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)) is V39() boolean set
('not' ('not' ((b 'imp' c) . d))) '&' ('not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d))) is V39() boolean set
'not' (('not' ('not' ((b 'imp' c) . d))) '&' ('not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)))) is V39() boolean set
('not' (b . d)) 'or' (c . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
'not' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
('not' (('not' (b . d)) 'or' (c . d))) 'or' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)) is V39() boolean set
'not' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
('not' ('not' (('not' (b . d)) 'or' (c . d)))) '&' ('not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d))) is V39() boolean set
'not' (('not' ('not' (('not' (b . d)) 'or' (c . d)))) '&' ('not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)))) is V39() boolean set
('not' (a . d)) 'or' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (b . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' (('not' (a . d)) 'or' (b . d))) is V39() boolean set
('not' ('not' (('not' (a . d)) 'or' (b . d)))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (a . d)) 'or' (b . d)))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
('not' (('not' (b . d)) 'or' (c . d))) 'or' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d)) is V39() boolean set
('not' ('not' (('not' (b . d)) 'or' (c . d)))) '&' ('not' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d))) is V39() boolean set
'not' (('not' ('not' (('not' (b . d)) 'or' (c . d)))) '&' ('not' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d)))) is V39() boolean set
(b . d) '&' ('not' (c . d)) is V39() boolean Element of BOOLEAN
'not' ('not' (a . d)) is V39() boolean Element of BOOLEAN
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (c . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (c . d))) is V39() boolean set
(('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
('not' (('not' ('not' (a . d))) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' (('not' ('not' (a . d))) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
((b . d) '&' ('not' (c . d))) 'or' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' ((b . d) '&' ('not' (c . d))) is V39() boolean set
'not' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
'not' (('not' ((b . d) '&' ('not' (c . d)))) '&' ('not' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))))) is V39() boolean set
(a . d) '&' ('not' (b . d)) is V39() boolean Element of BOOLEAN
((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
'not' ((a . d) '&' ('not' (b . d))) is V39() boolean set
('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
(((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' ('not' (c . d)) is V39() boolean set
'not' (((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
('not' (((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' ('not' (c . d)))) is V39() boolean set
(((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (b . d) is V39() boolean set
('not' (((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' (((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' (b . d))) is V39() boolean set
((((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' ('not' (c . d))) '&' ((((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (b . d)) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (c . d)))) is V39() boolean set
((a . d) '&' ('not' (b . d))) 'or' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d))) is V39() boolean set
'not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d))) is V39() boolean set
('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d)))) is V39() boolean set
'not' (('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d))))) is V39() boolean set
(((a . d) '&' ('not' (b . d))) 'or' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (c . d)))) '&' ((((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (b . d)) is V39() boolean set
('not' (a . d)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (a . d))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' TRUE)) is V39() boolean set
((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' TRUE) is V39() boolean set
'not' (('not' (a . d)) 'or' TRUE) is V39() boolean set
('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' TRUE)) is V39() boolean set
'not' (('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' TRUE))) is V39() boolean set
(((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' TRUE)) '&' ((((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (b . d)) is V39() boolean set
((a . d) '&' ('not' (b . d))) 'or' TRUE is V39() boolean set
('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ((a . d) '&' ('not' (b . d)))) '&' ('not' TRUE)) is V39() boolean set
(((a . d) '&' ('not' (b . d))) 'or' TRUE) '&' ((((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (b . d)) is V39() boolean set
TRUE '&' ((((a . d) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (b . d)) is V39() boolean set
('not' (b . d)) '&' (a . d) is V39() boolean Element of BOOLEAN
(('not' (b . d)) '&' (a . d)) 'or' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' (b . d)) '&' (a . d)) is V39() boolean set
('not' (('not' (b . d)) '&' (a . d))) '&' ('not' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' (('not' (b . d)) '&' (a . d))) '&' ('not' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
((('not' (b . d)) '&' (a . d)) 'or' (('not' (a . d)) 'or' (c . d))) 'or' (b . d) is V39() boolean set
'not' ((('not' (b . d)) '&' (a . d)) 'or' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
('not' ((('not' (b . d)) '&' (a . d)) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ((('not' (b . d)) '&' (a . d)) 'or' (('not' (a . d)) 'or' (c . d)))) '&' ('not' (b . d))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (b . d)))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' (a . d) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (a . d))) is V39() boolean set
((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((('not' (a . d)) 'or' (c . d)) 'or' (a . d)) is V39() boolean set
(((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((('not' (a . d)) 'or' (c . d)) 'or' (a . d))) 'or' (b . d) is V39() boolean set
'not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((('not' (a . d)) 'or' (c . d)) 'or' (a . d))) is V39() boolean set
('not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((('not' (a . d)) 'or' (c . d)) 'or' (a . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((('not' (a . d)) 'or' (c . d)) 'or' (a . d)))) '&' ('not' (b . d))) is V39() boolean set
(c . d) 'or' (('not' (a . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (a . d)) 'or' (a . d)) is V39() boolean set
('not' (c . d)) '&' ('not' (('not' (a . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' (('not' (a . d)) 'or' (a . d)))) is V39() boolean set
((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((c . d) 'or' (('not' (a . d)) 'or' (a . d))) is V39() boolean set
(((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((c . d) 'or' (('not' (a . d)) 'or' (a . d)))) 'or' (b . d) is V39() boolean set
'not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((c . d) 'or' (('not' (a . d)) 'or' (a . d)))) is V39() boolean set
('not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((c . d) 'or' (('not' (a . d)) 'or' (a . d))))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' ((c . d) 'or' (('not' (a . d)) 'or' (a . d))))) '&' ('not' (b . d))) is V39() boolean set
((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' TRUE is V39() boolean set
(((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' TRUE) 'or' (b . d) is V39() boolean set
'not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' TRUE) is V39() boolean set
('not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' TRUE)) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' (((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) '&' TRUE)) '&' ('not' (b . d))) is V39() boolean set
((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) 'or' (b . d) is V39() boolean set
'not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) is V39() boolean set
('not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d)))) '&' ('not' (b . d))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' TRUE is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(b 'imp' (b 'imp' c)) 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((b 'imp' (b 'imp' c)) 'imp' (b 'imp' c)) . d is set
(I_el Y) . d is set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
((b 'imp' (b 'imp' c)) 'imp' (b 'imp' c)) . d is V39() boolean Element of BOOLEAN
(b 'imp' (b 'imp' c)) . d is V39() boolean Element of BOOLEAN
'not' ((b 'imp' (b 'imp' c)) . d) is V39() boolean Element of BOOLEAN
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' ((b 'imp' (b 'imp' c)) . d)) 'or' ((b 'imp' c) . d) is V39() boolean set
'not' ('not' ((b 'imp' (b 'imp' c)) . d)) is V39() boolean set
'not' ((b 'imp' c) . d) is V39() boolean set
('not' ('not' ((b 'imp' (b 'imp' c)) . d))) '&' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' ((b 'imp' (b 'imp' c)) . d))) '&' ('not' ((b 'imp' c) . d))) is V39() boolean set
('not' (b . d)) 'or' ((b 'imp' c) . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' ((b 'imp' c) . d))) is V39() boolean set
'not' (('not' (b . d)) 'or' ((b 'imp' c) . d)) is V39() boolean set
('not' (('not' (b . d)) 'or' ((b 'imp' c) . d))) 'or' ((b 'imp' c) . d) is V39() boolean set
'not' ('not' (('not' (b . d)) 'or' ((b 'imp' c) . d))) is V39() boolean set
('not' ('not' (('not' (b . d)) 'or' ((b 'imp' c) . d)))) '&' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (b . d)) 'or' ((b 'imp' c) . d)))) '&' ('not' ((b 'imp' c) . d))) is V39() boolean set
('not' (b . d)) 'or' (c . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (b . d)) 'or' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
'not' (('not' (b . d)) 'or' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
('not' (('not' (b . d)) 'or' (('not' (b . d)) 'or' (c . d)))) 'or' ((b 'imp' c) . d) is V39() boolean set
'not' ('not' (('not' (b . d)) 'or' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
('not' ('not' (('not' (b . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (b . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' ((b 'imp' c) . d))) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean Element of BOOLEAN
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean Element of BOOLEAN
(b . d) '&' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean Element of BOOLEAN
((b . d) '&' (('not' ('not' (b . d))) '&' ('not' (c . d)))) 'or' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
'not' ((b . d) '&' (('not' ('not' (b . d))) '&' ('not' (c . d)))) is V39() boolean set
('not' ((b . d) '&' (('not' ('not' (b . d))) '&' ('not' (c . d))))) '&' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ((b . d) '&' (('not' ('not' (b . d))) '&' ('not' (c . d))))) '&' ('not' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
(b . d) '&' (b . d) is V39() boolean Element of BOOLEAN
((b . d) '&' (b . d)) '&' ('not' (c . d)) is V39() boolean Element of BOOLEAN
(((b . d) '&' (b . d)) '&' ('not' (c . d))) 'or' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
'not' (((b . d) '&' (b . d)) '&' ('not' (c . d))) is V39() boolean set
('not' (((b . d) '&' (b . d)) '&' ('not' (c . d)))) '&' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' (((b . d) '&' (b . d)) '&' ('not' (c . d)))) '&' ('not' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
(c . d) 'or' ('not' (b . d)) is V39() boolean set
('not' (c . d)) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' ('not' (b . d)))) is V39() boolean set
((c . d) 'or' ('not' (b . d))) 'or' (b . d) is V39() boolean set
'not' ((c . d) 'or' ('not' (b . d))) is V39() boolean set
('not' ((c . d) 'or' ('not' (b . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ((c . d) 'or' ('not' (b . d)))) '&' ('not' (b . d))) is V39() boolean set
(('not' (b . d)) 'or' (c . d)) 'or' ('not' (c . d)) is V39() boolean set
('not' (('not' (b . d)) 'or' (c . d))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (('not' (b . d)) 'or' (c . d))) '&' ('not' ('not' (c . d)))) is V39() boolean set
(((c . d) 'or' ('not' (b . d))) 'or' (b . d)) '&' ((('not' (b . d)) 'or' (c . d)) 'or' ('not' (c . d))) is V39() boolean set
(c . d) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' (c . d)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' TRUE)) is V39() boolean set
((c . d) 'or' TRUE) '&' ((('not' (b . d)) 'or' (c . d)) 'or' ('not' (c . d))) is V39() boolean set
TRUE '&' ((('not' (b . d)) 'or' (c . d)) 'or' ('not' (c . d))) is V39() boolean set
('not' (b . d)) 'or' TRUE is V39() boolean set
('not' ('not' (b . d))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' (a 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' (b 'imp' c)) 'imp' ((a 'imp' b) 'imp' (a 'imp' c)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((a 'imp' (b 'imp' c)) 'imp' ((a 'imp' b) 'imp' (a 'imp' c))) . d is set
(I_el Y) . d is set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (b . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (b . d))) is V39() boolean set
((a 'imp' (b 'imp' c)) 'imp' ((a 'imp' b) 'imp' (a 'imp' c))) . d is V39() boolean Element of BOOLEAN
(a 'imp' (b 'imp' c)) . d is V39() boolean Element of BOOLEAN
'not' ((a 'imp' (b 'imp' c)) . d) is V39() boolean Element of BOOLEAN
((a 'imp' b) 'imp' (a 'imp' c)) . d is V39() boolean Element of BOOLEAN
('not' ((a 'imp' (b 'imp' c)) . d)) 'or' (((a 'imp' b) 'imp' (a 'imp' c)) . d) is V39() boolean set
'not' ('not' ((a 'imp' (b 'imp' c)) . d)) is V39() boolean set
'not' (((a 'imp' b) 'imp' (a 'imp' c)) . d) is V39() boolean set
('not' ('not' ((a 'imp' (b 'imp' c)) . d))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' (b 'imp' c)) . d))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d))) is V39() boolean set
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' ((b 'imp' c) . d) is V39() boolean set
'not' ((b 'imp' c) . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' ((b 'imp' c) . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' ((b 'imp' c) . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' ((b 'imp' c) . d))) 'or' (((a 'imp' b) 'imp' (a 'imp' c)) . d) is V39() boolean set
'not' ('not' (('not' (a . d)) 'or' ((b 'imp' c) . d))) is V39() boolean set
('not' ('not' (('not' (a . d)) 'or' ((b 'imp' c) . d)))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (a . d)) 'or' ((b 'imp' c) . d)))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d))) is V39() boolean set
('not' (b . d)) 'or' (c . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
'not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d)))) 'or' (((a 'imp' b) 'imp' (a 'imp' c)) . d) is V39() boolean set
'not' ('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
('not' ('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' (((a 'imp' b) 'imp' (a 'imp' c)) . d))) is V39() boolean set
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
'not' ((a 'imp' b) . d) is V39() boolean Element of BOOLEAN
(a 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' ((a 'imp' b) . d)) is V39() boolean set
'not' ((a 'imp' c) . d) is V39() boolean set
('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d)))) 'or' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)) is V39() boolean set
('not' ('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d))) is V39() boolean set
'not' (('not' ('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' (('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d)))) is V39() boolean set
('not' (a . d)) 'or' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (b . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' (('not' (a . d)) 'or' (b . d))) is V39() boolean set
('not' ('not' (('not' (a . d)) 'or' (b . d)))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (a . d)) 'or' (b . d)))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d)))) 'or' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d)) is V39() boolean set
('not' ('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d))) is V39() boolean set
'not' (('not' ('not' (('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d))))) '&' ('not' (('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d)))) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean Element of BOOLEAN
'not' ('not' (b . d)) is V39() boolean Element of BOOLEAN
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean Element of BOOLEAN
('not' ('not' (a . d))) '&' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean Element of BOOLEAN
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (c . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (c . d))) is V39() boolean set
(('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
('not' (('not' ('not' (a . d))) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' (('not' ('not' (a . d))) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
(('not' ('not' (a . d))) '&' (('not' ('not' (b . d))) '&' ('not' (c . d)))) 'or' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' (('not' ('not' (b . d))) '&' ('not' (c . d)))) is V39() boolean set
'not' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
('not' (('not' ('not' (a . d))) '&' (('not' ('not' (b . d))) '&' ('not' (c . d))))) '&' ('not' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
'not' (('not' (('not' ('not' (a . d))) '&' (('not' ('not' (b . d))) '&' ('not' (c . d))))) '&' ('not' ((('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d))))) is V39() boolean set
(b . d) '&' ('not' (c . d)) is V39() boolean Element of BOOLEAN
(a . d) '&' ((b . d) '&' ('not' (c . d))) is V39() boolean Element of BOOLEAN
(c . d) 'or' ('not' (a . d)) is V39() boolean set
('not' (c . d)) '&' ('not' ('not' (a . d))) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' ('not' (a . d)))) is V39() boolean set
((c . d) 'or' ('not' (a . d))) 'or' (a . d) is V39() boolean set
'not' ((c . d) 'or' ('not' (a . d))) is V39() boolean set
('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' (a . d))) is V39() boolean set
((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)) is V39() boolean set
('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' ('not' (b . d)))) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' (a . d)) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) is V39() boolean set
((a . d) '&' ((b . d) '&' ('not' (c . d)))) 'or' ((((c . d) 'or' ('not' (a . d))) 'or' (a . d)) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) is V39() boolean set
'not' ((a . d) '&' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
'not' ((((c . d) 'or' ('not' (a . d))) 'or' (a . d)) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) is V39() boolean set
('not' ((a . d) '&' ((b . d) '&' ('not' (c . d))))) '&' ('not' ((((c . d) 'or' ('not' (a . d))) 'or' (a . d)) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))))) is V39() boolean set
'not' (('not' ((a . d) '&' ((b . d) '&' ('not' (c . d))))) '&' ('not' ((((c . d) 'or' ('not' (a . d))) 'or' (a . d)) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))))) is V39() boolean set
(c . d) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' (c . d)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' TRUE)) is V39() boolean set
((c . d) 'or' TRUE) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) is V39() boolean set
((a . d) '&' ((b . d) '&' ('not' (c . d)))) 'or' (((c . d) 'or' TRUE) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) is V39() boolean set
'not' (((c . d) 'or' TRUE) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) is V39() boolean set
('not' ((a . d) '&' ((b . d) '&' ('not' (c . d))))) '&' ('not' (((c . d) 'or' TRUE) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))))) is V39() boolean set
'not' (('not' ((a . d) '&' ((b . d) '&' ('not' (c . d))))) '&' ('not' (((c . d) 'or' TRUE) '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))))) is V39() boolean set
TRUE '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) is V39() boolean set
((a . d) '&' ((b . d) '&' ('not' (c . d)))) 'or' (TRUE '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) is V39() boolean set
'not' (TRUE '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) is V39() boolean set
('not' ((a . d) '&' ((b . d) '&' ('not' (c . d))))) '&' ('not' (TRUE '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))))) is V39() boolean set
'not' (('not' ((a . d) '&' ((b . d) '&' ('not' (c . d))))) '&' ('not' (TRUE '&' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))))) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ((a . d) '&' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
'not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) is V39() boolean set
('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' ((a . d) '&' ((b . d) '&' ('not' (c . d))))) is V39() boolean set
'not' (('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' ((a . d) '&' ((b . d) '&' ('not' (c . d)))))) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' (a . d) is V39() boolean set
('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' (a . d))) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ((b . d) '&' ('not' (c . d))) is V39() boolean set
'not' ((b . d) '&' ('not' (c . d))) is V39() boolean set
('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
'not' (('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' ((b . d) '&' ('not' (c . d))))) is V39() boolean set
((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' (a . d)) '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' (a . d)) 'or' ('not' (b . d)) is V39() boolean set
'not' (((c . d) 'or' ('not' (a . d))) 'or' (a . d)) is V39() boolean set
('not' (((c . d) 'or' ('not' (a . d))) 'or' (a . d))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (((c . d) 'or' ('not' (a . d))) 'or' (a . d))) '&' ('not' ('not' (b . d)))) is V39() boolean set
((((c . d) 'or' ('not' (a . d))) 'or' (a . d)) 'or' ('not' (b . d))) '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
((c . d) 'or' TRUE) 'or' ('not' (b . d)) is V39() boolean set
'not' ((c . d) 'or' TRUE) is V39() boolean set
('not' ((c . d) 'or' TRUE)) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' ((c . d) 'or' TRUE)) '&' ('not' ('not' (b . d)))) is V39() boolean set
(((c . d) 'or' TRUE) 'or' ('not' (b . d))) '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
TRUE 'or' ('not' (b . d)) is V39() boolean set
('not' TRUE) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' TRUE) '&' ('not' ('not' (b . d)))) is V39() boolean set
(TRUE 'or' ('not' (b . d))) '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
TRUE '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ((b . d) '&' ('not' (c . d)))) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' (b . d) is V39() boolean set
('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' (b . d))) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ('not' (c . d)) is V39() boolean set
('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d)))) '&' ('not' ('not' (c . d)))) is V39() boolean set
((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' (b . d)) '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ('not' (c . d))) is V39() boolean set
((c . d) 'or' ('not' (a . d))) 'or' TRUE is V39() boolean set
('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' TRUE)) is V39() boolean set
(((c . d) 'or' ('not' (a . d))) 'or' TRUE) '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ('not' (c . d))) is V39() boolean set
TRUE '&' ((((c . d) 'or' ('not' (a . d))) 'or' ('not' (b . d))) 'or' ('not' (c . d))) is V39() boolean set
('not' (b . d)) 'or' ((c . d) 'or' ('not' (a . d))) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' ((c . d) 'or' ('not' (a . d)))) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' ((c . d) 'or' ('not' (a . d))))) is V39() boolean set
(('not' (b . d)) 'or' ((c . d) 'or' ('not' (a . d)))) 'or' ('not' (c . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' ((c . d) 'or' ('not' (a . d)))) is V39() boolean set
('not' (('not' (b . d)) 'or' ((c . d) 'or' ('not' (a . d))))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' (('not' (b . d)) 'or' ((c . d) 'or' ('not' (a . d))))) '&' ('not' ('not' (c . d)))) is V39() boolean set
('not' (b . d)) 'or' ('not' (a . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' ('not' (a . d))) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' ('not' (a . d)))) is V39() boolean set
(('not' (b . d)) 'or' ('not' (a . d))) 'or' (c . d) is V39() boolean set
'not' (('not' (b . d)) 'or' ('not' (a . d))) is V39() boolean set
('not' (('not' (b . d)) 'or' ('not' (a . d)))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' (('not' (b . d)) 'or' ('not' (a . d)))) '&' ('not' (c . d))) is V39() boolean set
((('not' (b . d)) 'or' ('not' (a . d))) 'or' (c . d)) 'or' ('not' (c . d)) is V39() boolean set
'not' ((('not' (b . d)) 'or' ('not' (a . d))) 'or' (c . d)) is V39() boolean set
('not' ((('not' (b . d)) 'or' ('not' (a . d))) 'or' (c . d))) '&' ('not' ('not' (c . d))) is V39() boolean set
'not' (('not' ((('not' (b . d)) 'or' ('not' (a . d))) 'or' (c . d))) '&' ('not' ('not' (c . d)))) is V39() boolean set
(('not' (b . d)) 'or' ('not' (a . d))) 'or' TRUE is V39() boolean set
('not' (('not' (b . d)) 'or' ('not' (a . d)))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (('not' (b . d)) 'or' ('not' (a . d)))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
((a 'imp' b) 'imp' b) . c is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
'not' ((a 'imp' b) . c) is V39() boolean Element of BOOLEAN
('not' ((a 'imp' b) . c)) 'or' (b . c) is V39() boolean set
'not' ('not' ((a 'imp' b) . c)) is V39() boolean set
('not' ('not' ((a 'imp' b) . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . c))) '&' ('not' (b . c))) is V39() boolean set
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (b . c))) is V39() boolean set
'not' (('not' (a . c)) 'or' (b . c)) is V39() boolean set
('not' (('not' (a . c)) 'or' (b . c))) 'or' (b . c) is V39() boolean set
'not' ('not' (('not' (a . c)) 'or' (b . c))) is V39() boolean set
('not' ('not' (('not' (a . c)) 'or' (b . c)))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (('not' (a . c)) 'or' (b . c)))) '&' ('not' (b . c))) is V39() boolean set
(b . c) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' (b . c)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (b . c)) '&' ('not' TRUE)) is V39() boolean set
((b . c) 'or' TRUE) '&' TRUE is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c 'imp' (b 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' (c 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
(b 'imp' (c 'imp' a)) . d is V39() boolean Element of BOOLEAN
(c 'imp' (b 'imp' a)) . d is V39() boolean Element of BOOLEAN
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
(b 'imp' a) . d is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' ((b 'imp' a) . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' ((b 'imp' a) . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' ((b 'imp' a) . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' ((b 'imp' a) . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
a . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' (a . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (('not' (b . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (('not' (b . d)) 'or' (a . d)))) is V39() boolean set
(c 'imp' a) . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' ((c 'imp' a) . d) is V39() boolean set
'not' ((c 'imp' a) . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' ((c 'imp' a) . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' ((c 'imp' a) . d))) is V39() boolean set
('not' (c . d)) 'or' (a . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (b . d)) 'or' (('not' (c . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (c . d)) 'or' (a . d)) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (('not' (c . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (('not' (c . d)) 'or' (a . d)))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c 'imp' (b 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
(c 'imp' a) . d is V39() boolean Element of BOOLEAN
(c 'imp' (b 'imp' a)) . d is V39() boolean Element of BOOLEAN
c . d is V39() boolean Element of BOOLEAN
'not' (c . d) is V39() boolean Element of BOOLEAN
(b 'imp' a) . d is V39() boolean Element of BOOLEAN
('not' (c . d)) 'or' ((b 'imp' a) . d) is V39() boolean set
'not' ('not' (c . d)) is V39() boolean set
'not' ((b 'imp' a) . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' ((b 'imp' a) . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' ((b 'imp' a) . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
a . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (a . d))) is V39() boolean set
('not' (c . d)) 'or' (('not' (b . d)) 'or' (a . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' (a . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (('not' (b . d)) 'or' (a . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (('not' (b . d)) 'or' (a . d)))) is V39() boolean set
FALSE 'or' (a . d) is V39() boolean set
'not' FALSE is V39() boolean set
('not' FALSE) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' FALSE) '&' ('not' (a . d))) is V39() boolean set
('not' (c . d)) 'or' (FALSE 'or' (a . d)) is V39() boolean set
'not' (FALSE 'or' (a . d)) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (FALSE 'or' (a . d))) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (FALSE 'or' (a . d)))) is V39() boolean set
('not' (c . d)) 'or' (a . d) is V39() boolean set
('not' ('not' (c . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (c . d))) '&' ('not' (a . d))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(I_el Y) 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(I_el Y) 'imp' ((I_el Y) 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (a 'imp' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
b . c is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (b . c))) is V39() boolean set
(a 'imp' (a 'imp' b)) . c is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' ((a 'imp' b) . c) is V39() boolean set
'not' ((a 'imp' b) . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' ((a 'imp' b) . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' ((a 'imp' b) . c))) is V39() boolean set
('not' (a . c)) 'or' (('not' (a . c)) 'or' (b . c)) is V39() boolean set
'not' (('not' (a . c)) 'or' (b . c)) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (('not' (a . c)) 'or' (b . c))) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (('not' (a . c)) 'or' (b . c)))) is V39() boolean set
('not' (a . c)) 'or' ('not' (a . c)) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' ('not' (a . c))) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' ('not' (a . c)))) is V39() boolean set
(('not' (a . c)) 'or' ('not' (a . c))) 'or' (b . c) is V39() boolean set
'not' (('not' (a . c)) 'or' ('not' (a . c))) is V39() boolean set
('not' (('not' (a . c)) 'or' ('not' (a . c)))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' (('not' (a . c)) 'or' ('not' (a . c)))) '&' ('not' (b . c))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' (a 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
((a 'imp' b) 'imp' (a 'imp' c)) . d is V39() boolean Element of BOOLEAN
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (a . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' (a . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (a . d))) is V39() boolean set
(a 'imp' (b 'imp' c)) . d is V39() boolean Element of BOOLEAN
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' ((b 'imp' c) . d) is V39() boolean set
'not' ((b 'imp' c) . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' ((b 'imp' c) . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
c . d is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
'not' ((a 'imp' b) . d) is V39() boolean Element of BOOLEAN
(a 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' ((a 'imp' b) . d)) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' ((a 'imp' b) . d)) is V39() boolean set
'not' ((a 'imp' c) . d) is V39() boolean set
('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . d))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
('not' (a . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (b . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (b . d))) 'or' ((a 'imp' c) . d) is V39() boolean set
'not' ('not' (('not' (a . d)) 'or' (b . d))) is V39() boolean set
('not' ('not' (('not' (a . d)) 'or' (b . d)))) '&' ('not' ((a 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (('not' (a . d)) 'or' (b . d)))) '&' ('not' ((a 'imp' c) . d))) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean Element of BOOLEAN
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (c . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (c . d))) is V39() boolean set
(('not' ('not' (a . d))) '&' ('not' (b . d))) 'or' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
'not' (('not' (a . d)) 'or' (c . d)) is V39() boolean set
('not' (('not' ('not' (a . d))) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' (('not' ('not' (a . d))) '&' ('not' (b . d)))) '&' ('not' (('not' (a . d)) 'or' (c . d)))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' (a . d) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' (a . d))) is V39() boolean set
(('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d)) is V39() boolean set
('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (b . d))) is V39() boolean set
'not' (('not' (('not' (a . d)) 'or' (c . d))) '&' ('not' ('not' (b . d)))) is V39() boolean set
((('not' (a . d)) 'or' (c . d)) 'or' (a . d)) '&' ((('not' (a . d)) 'or' (c . d)) 'or' ('not' (b . d))) is V39() boolean set
TRUE '&' ((('not' (a . d)) 'or' (c . d)) 'or' (a . d)) is V39() boolean set
(c . d) 'or' ('not' (a . d)) is V39() boolean set
('not' (c . d)) '&' ('not' ('not' (a . d))) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' ('not' (a . d)))) is V39() boolean set
((c . d) 'or' ('not' (a . d))) 'or' (a . d) is V39() boolean set
'not' ((c . d) 'or' ('not' (a . d))) is V39() boolean set
('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' (a . d)) is V39() boolean set
'not' (('not' ((c . d) 'or' ('not' (a . d)))) '&' ('not' (a . d))) is V39() boolean set
(c . d) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' (c . d)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (c . d)) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(I_el Y) 'imp' (a 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(I_el Y) 'imp' ((I_el Y) 'imp' (a 'imp' c)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Element of Y
c . d is V39() boolean Element of BOOLEAN
(a 'imp' (b 'imp' c)) . d is V39() boolean Element of BOOLEAN
a . d is V39() boolean Element of BOOLEAN
'not' (a . d) is V39() boolean Element of BOOLEAN
(b 'imp' c) . d is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' ((b 'imp' c) . d) is V39() boolean set
'not' ('not' (a . d)) is V39() boolean set
'not' ((b 'imp' c) . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' ((b 'imp' c) . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' ((b 'imp' c) . d))) is V39() boolean set
b . d is V39() boolean Element of BOOLEAN
'not' (b . d) is V39() boolean Element of BOOLEAN
('not' (b . d)) 'or' (c . d) is V39() boolean set
'not' ('not' (b . d)) is V39() boolean set
'not' (c . d) is V39() boolean set
('not' ('not' (b . d))) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' (b . d))) '&' ('not' (c . d))) is V39() boolean set
('not' (a . d)) 'or' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
'not' (('not' (b . d)) 'or' (c . d)) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (('not' (b . d)) 'or' (c . d))) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (('not' (b . d)) 'or' (c . d)))) is V39() boolean set
(a 'imp' b) . d is V39() boolean Element of BOOLEAN
('not' (a . d)) 'or' (b . d) is V39() boolean set
'not' (b . d) is V39() boolean set
('not' ('not' (a . d))) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' ('not' (a . d))) '&' ('not' (b . d))) is V39() boolean set
FALSE 'or' (b . d) is V39() boolean set
'not' FALSE is V39() boolean set
('not' FALSE) '&' ('not' (b . d)) is V39() boolean set
'not' (('not' FALSE) '&' ('not' (b . d))) is V39() boolean set
'not' TRUE is V39() boolean Element of BOOLEAN
('not' TRUE) 'or' (c . d) is V39() boolean set
'not' ('not' TRUE) is V39() boolean set
('not' ('not' TRUE)) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' ('not' TRUE)) '&' ('not' (c . d))) is V39() boolean set
FALSE 'or' (('not' TRUE) 'or' (c . d)) is V39() boolean set
'not' (('not' TRUE) 'or' (c . d)) is V39() boolean set
('not' FALSE) '&' ('not' (('not' TRUE) 'or' (c . d))) is V39() boolean set
'not' (('not' FALSE) '&' ('not' (('not' TRUE) 'or' (c . d)))) is V39() boolean set
FALSE 'or' (c . d) is V39() boolean set
('not' FALSE) '&' ('not' (c . d)) is V39() boolean set
'not' (('not' FALSE) '&' ('not' (c . d))) is V39() boolean set
FALSE 'or' (FALSE 'or' (c . d)) is V39() boolean set
'not' (FALSE 'or' (c . d)) is V39() boolean set
('not' FALSE) '&' ('not' (FALSE 'or' (c . d))) is V39() boolean set
'not' (('not' FALSE) '&' ('not' (FALSE 'or' (c . d)))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (b 'imp' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c 'imp' d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (c 'imp' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' (b 'imp' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
x is Element of Y
(a 'imp' (b 'imp' d)) . x is V39() boolean Element of BOOLEAN
a . x is V39() boolean Element of BOOLEAN
'not' (a . x) is V39() boolean Element of BOOLEAN
(b 'imp' d) . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' ((b 'imp' d) . x) is V39() boolean set
'not' ('not' (a . x)) is V39() boolean set
'not' ((b 'imp' d) . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' ((b 'imp' d) . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' ((b 'imp' d) . x))) is V39() boolean set
b . x is V39() boolean Element of BOOLEAN
'not' (b . x) is V39() boolean Element of BOOLEAN
d . x is V39() boolean Element of BOOLEAN
('not' (b . x)) 'or' (d . x) is V39() boolean set
'not' ('not' (b . x)) is V39() boolean set
'not' (d . x) is V39() boolean set
('not' ('not' (b . x))) '&' ('not' (d . x)) is V39() boolean set
'not' (('not' ('not' (b . x))) '&' ('not' (d . x))) is V39() boolean set
('not' (a . x)) 'or' (('not' (b . x)) 'or' (d . x)) is V39() boolean set
'not' (('not' (b . x)) 'or' (d . x)) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (('not' (b . x)) 'or' (d . x))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (('not' (b . x)) 'or' (d . x)))) is V39() boolean set
(a 'imp' (c 'imp' d)) . x is V39() boolean Element of BOOLEAN
(c 'imp' d) . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' ((c 'imp' d) . x) is V39() boolean set
'not' ((c 'imp' d) . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' ((c 'imp' d) . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' ((c 'imp' d) . x))) is V39() boolean set
c . x is V39() boolean Element of BOOLEAN
'not' (c . x) is V39() boolean Element of BOOLEAN
('not' (c . x)) 'or' (d . x) is V39() boolean set
'not' ('not' (c . x)) is V39() boolean set
('not' ('not' (c . x))) '&' ('not' (d . x)) is V39() boolean set
'not' (('not' ('not' (c . x))) '&' ('not' (d . x))) is V39() boolean set
('not' (a . x)) 'or' (('not' (c . x)) 'or' (d . x)) is V39() boolean set
'not' (('not' (c . x)) 'or' (d . x)) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (('not' (c . x)) 'or' (d . x))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (('not' (c . x)) 'or' (d . x)))) is V39() boolean set
(a 'imp' (b 'imp' c)) . x is V39() boolean Element of BOOLEAN
(b 'imp' c) . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' ((b 'imp' c) . x) is V39() boolean set
'not' ((b 'imp' c) . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' ((b 'imp' c) . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' ((b 'imp' c) . x))) is V39() boolean set
('not' (b . x)) 'or' (c . x) is V39() boolean set
'not' (c . x) is V39() boolean set
('not' ('not' (b . x))) '&' ('not' (c . x)) is V39() boolean set
'not' (('not' ('not' (b . x))) '&' ('not' (c . x))) is V39() boolean set
('not' (a . x)) 'or' (('not' (b . x)) 'or' (c . x)) is V39() boolean set
'not' (('not' (b . x)) 'or' (c . x)) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (('not' (b . x)) 'or' (c . x))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (('not' (b . x)) 'or' (c . x)))) is V39() boolean set
('not' (a . x)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (a . x))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' TRUE)) is V39() boolean set
('not' (a . x)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (a . x))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' a) 'imp' ('not' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(('not' a) 'imp' ('not' b)) 'imp' (b 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
((('not' a) 'imp' ('not' b)) 'imp' (b 'imp' a)) . c is set
(I_el Y) . c is set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
((('not' a) 'imp' ('not' b)) 'imp' (b 'imp' a)) . c is V39() boolean Element of BOOLEAN
(('not' a) 'imp' ('not' b)) . c is V39() boolean Element of BOOLEAN
'not' ((('not' a) 'imp' ('not' b)) . c) is V39() boolean Element of BOOLEAN
(b 'imp' a) . c is V39() boolean Element of BOOLEAN
('not' ((('not' a) 'imp' ('not' b)) . c)) 'or' ((b 'imp' a) . c) is V39() boolean set
'not' ('not' ((('not' a) 'imp' ('not' b)) . c)) is V39() boolean set
'not' ((b 'imp' a) . c) is V39() boolean set
('not' ('not' ((('not' a) 'imp' ('not' b)) . c))) '&' ('not' ((b 'imp' a) . c)) is V39() boolean set
'not' (('not' ('not' ((('not' a) 'imp' ('not' b)) . c))) '&' ('not' ((b 'imp' a) . c))) is V39() boolean set
('not' a) . c is V39() boolean Element of BOOLEAN
'not' (('not' a) . c) is V39() boolean Element of BOOLEAN
('not' b) . c is V39() boolean Element of BOOLEAN
('not' (('not' a) . c)) 'or' (('not' b) . c) is V39() boolean set
'not' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' b) . c) is V39() boolean set
('not' ('not' (('not' a) . c))) '&' ('not' (('not' b) . c)) is V39() boolean set
'not' (('not' ('not' (('not' a) . c))) '&' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' (('not' a) . c)) 'or' (('not' b) . c)) is V39() boolean set
('not' (('not' (('not' a) . c)) 'or' (('not' b) . c))) 'or' ((b 'imp' a) . c) is V39() boolean set
'not' ('not' (('not' (('not' a) . c)) 'or' (('not' b) . c))) is V39() boolean set
('not' ('not' (('not' (('not' a) . c)) 'or' (('not' b) . c)))) '&' ('not' ((b 'imp' a) . c)) is V39() boolean set
'not' (('not' ('not' (('not' (('not' a) . c)) 'or' (('not' b) . c)))) '&' ('not' ((b 'imp' a) . c))) is V39() boolean set
'not' ('not' (('not' a) . c)) is V39() boolean Element of BOOLEAN
'not' (('not' b) . c) is V39() boolean Element of BOOLEAN
('not' ('not' (('not' a) . c))) '&' ('not' (('not' b) . c)) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (a . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (a . c))) is V39() boolean set
(('not' ('not' (('not' a) . c))) '&' ('not' (('not' b) . c))) 'or' (('not' (b . c)) 'or' (a . c)) is V39() boolean set
'not' (('not' ('not' (('not' a) . c))) '&' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' (b . c)) 'or' (a . c)) is V39() boolean set
('not' (('not' ('not' (('not' a) . c))) '&' ('not' (('not' b) . c)))) '&' ('not' (('not' (b . c)) 'or' (a . c))) is V39() boolean set
'not' (('not' (('not' ('not' (('not' a) . c))) '&' ('not' (('not' b) . c)))) '&' ('not' (('not' (b . c)) 'or' (a . c)))) is V39() boolean set
(('not' (b . c)) 'or' (a . c)) 'or' (('not' a) . c) is V39() boolean set
'not' (('not' a) . c) is V39() boolean set
('not' (('not' (b . c)) 'or' (a . c))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' (('not' (b . c)) 'or' (a . c))) '&' ('not' (('not' a) . c))) is V39() boolean set
(('not' (b . c)) 'or' (a . c)) 'or' ('not' (('not' b) . c)) is V39() boolean set
'not' ('not' (('not' b) . c)) is V39() boolean set
('not' (('not' (b . c)) 'or' (a . c))) '&' ('not' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' (('not' (b . c)) 'or' (a . c))) '&' ('not' ('not' (('not' b) . c)))) is V39() boolean set
((('not' (b . c)) 'or' (a . c)) 'or' (('not' a) . c)) '&' ((('not' (b . c)) 'or' (a . c)) 'or' ('not' (('not' b) . c))) is V39() boolean set
(a . c) 'or' (('not' a) . c) is V39() boolean set
('not' (a . c)) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' (('not' a) . c))) is V39() boolean set
('not' (b . c)) 'or' ((a . c) 'or' (('not' a) . c)) is V39() boolean set
'not' ((a . c) 'or' (('not' a) . c)) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' ((a . c) 'or' (('not' a) . c))) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' ((a . c) 'or' (('not' a) . c)))) is V39() boolean set
(('not' (b . c)) 'or' ((a . c) 'or' (('not' a) . c))) '&' ((('not' (b . c)) 'or' (a . c)) 'or' ('not' (('not' b) . c))) is V39() boolean set
('not' (b . c)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (b . c))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' TRUE)) is V39() boolean set
(('not' (b . c)) 'or' TRUE) '&' ((('not' (b . c)) 'or' (a . c)) 'or' ('not' (('not' b) . c))) is V39() boolean set
TRUE '&' ((('not' (b . c)) 'or' (a . c)) 'or' ('not' (('not' b) . c))) is V39() boolean set
(a . c) 'or' ('not' (b . c)) is V39() boolean set
('not' (a . c)) '&' ('not' ('not' (b . c))) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' ('not' (b . c)))) is V39() boolean set
((a . c) 'or' ('not' (b . c))) 'or' ('not' (('not' b) . c)) is V39() boolean set
'not' ((a . c) 'or' ('not' (b . c))) is V39() boolean set
('not' ((a . c) 'or' ('not' (b . c)))) '&' ('not' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' ((a . c) 'or' ('not' (b . c)))) '&' ('not' ('not' (('not' b) . c)))) is V39() boolean set
('not' (b . c)) 'or' ('not' (('not' b) . c)) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' ('not' (('not' b) . c)))) is V39() boolean set
(a . c) 'or' (('not' (b . c)) 'or' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' (b . c)) 'or' ('not' (('not' b) . c))) is V39() boolean set
('not' (a . c)) '&' ('not' (('not' (b . c)) 'or' ('not' (('not' b) . c)))) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' (('not' (b . c)) 'or' ('not' (('not' b) . c))))) is V39() boolean set
(a . c) 'or' TRUE is V39() boolean set
('not' (a . c)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' b) 'imp' ('not' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' b) 'imp' (('not' b) 'imp' ('not' a)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
((a 'imp' b) 'imp' (('not' b) 'imp' ('not' a))) . c is set
(I_el Y) . c is set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
((a 'imp' b) 'imp' (('not' b) 'imp' ('not' a))) . c is V39() boolean Element of BOOLEAN
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
'not' ((a 'imp' b) . c) is V39() boolean Element of BOOLEAN
(('not' b) 'imp' ('not' a)) . c is V39() boolean Element of BOOLEAN
('not' ((a 'imp' b) . c)) 'or' ((('not' b) 'imp' ('not' a)) . c) is V39() boolean set
'not' ('not' ((a 'imp' b) . c)) is V39() boolean set
'not' ((('not' b) 'imp' ('not' a)) . c) is V39() boolean set
('not' ('not' ((a 'imp' b) . c))) '&' ('not' ((('not' b) 'imp' ('not' a)) . c)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' b) . c))) '&' ('not' ((('not' b) 'imp' ('not' a)) . c))) is V39() boolean set
('not' (a . c)) 'or' (b . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (b . c))) is V39() boolean set
'not' (('not' (a . c)) 'or' (b . c)) is V39() boolean set
('not' (('not' (a . c)) 'or' (b . c))) 'or' ((('not' b) 'imp' ('not' a)) . c) is V39() boolean set
'not' ('not' (('not' (a . c)) 'or' (b . c))) is V39() boolean set
('not' ('not' (('not' (a . c)) 'or' (b . c)))) '&' ('not' ((('not' b) 'imp' ('not' a)) . c)) is V39() boolean set
'not' (('not' ('not' (('not' (a . c)) 'or' (b . c)))) '&' ('not' ((('not' b) 'imp' ('not' a)) . c))) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean Element of BOOLEAN
('not' ('not' (a . c))) '&' ('not' (b . c)) is V39() boolean Element of BOOLEAN
('not' b) . c is V39() boolean Element of BOOLEAN
'not' (('not' b) . c) is V39() boolean Element of BOOLEAN
('not' a) . c is V39() boolean Element of BOOLEAN
('not' (('not' b) . c)) 'or' (('not' a) . c) is V39() boolean set
'not' ('not' (('not' b) . c)) is V39() boolean set
'not' (('not' a) . c) is V39() boolean set
('not' ('not' (('not' b) . c))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' (('not' b) . c))) '&' ('not' (('not' a) . c))) is V39() boolean set
(('not' ('not' (a . c))) '&' ('not' (b . c))) 'or' (('not' (('not' b) . c)) 'or' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (b . c))) is V39() boolean set
'not' (('not' (('not' b) . c)) 'or' (('not' a) . c)) is V39() boolean set
('not' (('not' ('not' (a . c))) '&' ('not' (b . c)))) '&' ('not' (('not' (('not' b) . c)) 'or' (('not' a) . c))) is V39() boolean set
'not' (('not' (('not' ('not' (a . c))) '&' ('not' (b . c)))) '&' ('not' (('not' (('not' b) . c)) 'or' (('not' a) . c)))) is V39() boolean set
(a . c) '&' ('not' (b . c)) is V39() boolean Element of BOOLEAN
'not' ('not' (b . c)) is V39() boolean Element of BOOLEAN
('not' ('not' (b . c))) 'or' (('not' a) . c) is V39() boolean set
'not' ('not' ('not' (b . c))) is V39() boolean set
('not' ('not' ('not' (b . c)))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' ('not' (b . c)))) '&' ('not' (('not' a) . c))) is V39() boolean set
((a . c) '&' ('not' (b . c))) 'or' (('not' ('not' (b . c))) 'or' (('not' a) . c)) is V39() boolean set
'not' ((a . c) '&' ('not' (b . c))) is V39() boolean set
'not' (('not' ('not' (b . c))) 'or' (('not' a) . c)) is V39() boolean set
('not' ((a . c) '&' ('not' (b . c)))) '&' ('not' (('not' ('not' (b . c))) 'or' (('not' a) . c))) is V39() boolean set
'not' (('not' ((a . c) '&' ('not' (b . c)))) '&' ('not' (('not' ('not' (b . c))) 'or' (('not' a) . c)))) is V39() boolean set
(b . c) 'or' ('not' (a . c)) is V39() boolean set
('not' (b . c)) '&' ('not' ('not' (a . c))) is V39() boolean set
'not' (('not' (b . c)) '&' ('not' ('not' (a . c)))) is V39() boolean set
((b . c) 'or' ('not' (a . c))) 'or' ((a . c) '&' ('not' (b . c))) is V39() boolean set
'not' ((b . c) 'or' ('not' (a . c))) is V39() boolean set
('not' ((b . c) 'or' ('not' (a . c)))) '&' ('not' ((a . c) '&' ('not' (b . c)))) is V39() boolean set
'not' (('not' ((b . c) 'or' ('not' (a . c)))) '&' ('not' ((a . c) '&' ('not' (b . c))))) is V39() boolean set
((b . c) 'or' ('not' (a . c))) 'or' (a . c) is V39() boolean set
('not' ((b . c) 'or' ('not' (a . c)))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ((b . c) 'or' ('not' (a . c)))) '&' ('not' (a . c))) is V39() boolean set
((b . c) 'or' ('not' (a . c))) 'or' ('not' (b . c)) is V39() boolean set
('not' ((b . c) 'or' ('not' (a . c)))) '&' ('not' ('not' (b . c))) is V39() boolean set
'not' (('not' ((b . c) 'or' ('not' (a . c)))) '&' ('not' ('not' (b . c)))) is V39() boolean set
(((b . c) 'or' ('not' (a . c))) 'or' (a . c)) '&' (((b . c) 'or' ('not' (a . c))) 'or' ('not' (b . c))) is V39() boolean set
(b . c) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' (b . c)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (b . c)) '&' ('not' TRUE)) is V39() boolean set
((b . c) 'or' TRUE) '&' (((b . c) 'or' ('not' (a . c))) 'or' ('not' (b . c))) is V39() boolean set
TRUE '&' (((b . c) 'or' ('not' (a . c))) 'or' ('not' (b . c))) is V39() boolean set
(('not' (a . c)) 'or' (b . c)) 'or' ('not' (b . c)) is V39() boolean set
('not' (('not' (a . c)) 'or' (b . c))) '&' ('not' ('not' (b . c))) is V39() boolean set
'not' (('not' (('not' (a . c)) 'or' (b . c))) '&' ('not' ('not' (b . c)))) is V39() boolean set
('not' (a . c)) 'or' TRUE is V39() boolean set
('not' ('not' (a . c))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' ('not' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'imp' ('not' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' ('not' b)) 'imp' (b 'imp' ('not' a)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
((a 'imp' ('not' b)) 'imp' (b 'imp' ('not' a))) . c is set
(I_el Y) . c is set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
((a 'imp' ('not' b)) 'imp' (b 'imp' ('not' a))) . c is V39() boolean Element of BOOLEAN
(a 'imp' ('not' b)) . c is V39() boolean Element of BOOLEAN
'not' ((a 'imp' ('not' b)) . c) is V39() boolean Element of BOOLEAN
(b 'imp' ('not' a)) . c is V39() boolean Element of BOOLEAN
('not' ((a 'imp' ('not' b)) . c)) 'or' ((b 'imp' ('not' a)) . c) is V39() boolean set
'not' ('not' ((a 'imp' ('not' b)) . c)) is V39() boolean set
'not' ((b 'imp' ('not' a)) . c) is V39() boolean set
('not' ('not' ((a 'imp' ('not' b)) . c))) '&' ('not' ((b 'imp' ('not' a)) . c)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' ('not' b)) . c))) '&' ('not' ((b 'imp' ('not' a)) . c))) is V39() boolean set
('not' b) . c is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (('not' b) . c) is V39() boolean set
'not' (('not' b) . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (('not' b) . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' (a . c)) 'or' (('not' b) . c)) is V39() boolean set
('not' (('not' (a . c)) 'or' (('not' b) . c))) 'or' ((b 'imp' ('not' a)) . c) is V39() boolean set
'not' ('not' (('not' (a . c)) 'or' (('not' b) . c))) is V39() boolean set
('not' ('not' (('not' (a . c)) 'or' (('not' b) . c)))) '&' ('not' ((b 'imp' ('not' a)) . c)) is V39() boolean set
'not' (('not' ('not' (('not' (a . c)) 'or' (('not' b) . c)))) '&' ('not' ((b 'imp' ('not' a)) . c))) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean Element of BOOLEAN
'not' (('not' b) . c) is V39() boolean Element of BOOLEAN
('not' ('not' (a . c))) '&' ('not' (('not' b) . c)) is V39() boolean Element of BOOLEAN
('not' a) . c is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (('not' a) . c) is V39() boolean set
'not' (('not' a) . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (('not' a) . c))) is V39() boolean set
(('not' ('not' (a . c))) '&' ('not' (('not' b) . c))) 'or' (('not' (b . c)) 'or' (('not' a) . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (('not' b) . c))) is V39() boolean set
'not' (('not' (b . c)) 'or' (('not' a) . c)) is V39() boolean set
('not' (('not' ('not' (a . c))) '&' ('not' (('not' b) . c)))) '&' ('not' (('not' (b . c)) 'or' (('not' a) . c))) is V39() boolean set
'not' (('not' (('not' ('not' (a . c))) '&' ('not' (('not' b) . c)))) '&' ('not' (('not' (b . c)) 'or' (('not' a) . c)))) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean Element of BOOLEAN
(a . c) '&' ('not' ('not' (b . c))) is V39() boolean Element of BOOLEAN
((a . c) '&' ('not' ('not' (b . c)))) 'or' (('not' (b . c)) 'or' (('not' a) . c)) is V39() boolean set
'not' ((a . c) '&' ('not' ('not' (b . c)))) is V39() boolean set
('not' ((a . c) '&' ('not' ('not' (b . c))))) '&' ('not' (('not' (b . c)) 'or' (('not' a) . c))) is V39() boolean set
'not' (('not' ((a . c) '&' ('not' ('not' (b . c))))) '&' ('not' (('not' (b . c)) 'or' (('not' a) . c)))) is V39() boolean set
('not' (b . c)) 'or' ('not' (a . c)) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' ('not' (a . c))) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' ('not' (a . c)))) is V39() boolean set
(a . c) '&' (b . c) is V39() boolean Element of BOOLEAN
(('not' (b . c)) 'or' ('not' (a . c))) 'or' ((a . c) '&' (b . c)) is V39() boolean set
'not' (('not' (b . c)) 'or' ('not' (a . c))) is V39() boolean set
'not' ((a . c) '&' (b . c)) is V39() boolean set
('not' (('not' (b . c)) 'or' ('not' (a . c)))) '&' ('not' ((a . c) '&' (b . c))) is V39() boolean set
'not' (('not' (('not' (b . c)) 'or' ('not' (a . c)))) '&' ('not' ((a . c) '&' (b . c)))) is V39() boolean set
(('not' (b . c)) 'or' ('not' (a . c))) 'or' (a . c) is V39() boolean set
('not' (('not' (b . c)) 'or' ('not' (a . c)))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' (('not' (b . c)) 'or' ('not' (a . c)))) '&' ('not' (a . c))) is V39() boolean set
(('not' (b . c)) 'or' ('not' (a . c))) 'or' (b . c) is V39() boolean set
('not' (('not' (b . c)) 'or' ('not' (a . c)))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' (('not' (b . c)) 'or' ('not' (a . c)))) '&' ('not' (b . c))) is V39() boolean set
((('not' (b . c)) 'or' ('not' (a . c))) 'or' (a . c)) '&' ((('not' (b . c)) 'or' ('not' (a . c))) 'or' (b . c)) is V39() boolean set
('not' (b . c)) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' ('not' (b . c))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' TRUE)) is V39() boolean set
(('not' (b . c)) 'or' TRUE) '&' ((('not' (b . c)) 'or' ('not' (a . c))) 'or' (b . c)) is V39() boolean set
TRUE '&' ((('not' (b . c)) 'or' ('not' (a . c))) 'or' (b . c)) is V39() boolean set
('not' (a . c)) 'or' ('not' (b . c)) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' ('not' (b . c))) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' ('not' (b . c)))) is V39() boolean set
(('not' (a . c)) 'or' ('not' (b . c))) 'or' (b . c) is V39() boolean set
'not' (('not' (a . c)) 'or' ('not' (b . c))) is V39() boolean set
('not' (('not' (a . c)) 'or' ('not' (b . c)))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' (('not' (a . c)) 'or' ('not' (b . c)))) '&' ('not' (b . c))) is V39() boolean set
('not' (a . c)) 'or' TRUE is V39() boolean set
('not' ('not' (a . c))) '&' ('not' TRUE) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' a) 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' b) 'imp' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(('not' a) 'imp' b) 'imp' (('not' b) 'imp' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
((('not' a) 'imp' b) 'imp' (('not' b) 'imp' a)) . c is set
(I_el Y) . c is set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
'not' (b . c) is V39() boolean Element of BOOLEAN
('not' (b . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (b . c)) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (b . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (b . c))) '&' ('not' (b . c))) is V39() boolean set
((('not' a) 'imp' b) 'imp' (('not' b) 'imp' a)) . c is V39() boolean Element of BOOLEAN
(('not' a) 'imp' b) . c is V39() boolean Element of BOOLEAN
'not' ((('not' a) 'imp' b) . c) is V39() boolean Element of BOOLEAN
(('not' b) 'imp' a) . c is V39() boolean Element of BOOLEAN
('not' ((('not' a) 'imp' b) . c)) 'or' ((('not' b) 'imp' a) . c) is V39() boolean set
'not' ('not' ((('not' a) 'imp' b) . c)) is V39() boolean set
'not' ((('not' b) 'imp' a) . c) is V39() boolean set
('not' ('not' ((('not' a) 'imp' b) . c))) '&' ('not' ((('not' b) 'imp' a) . c)) is V39() boolean set
'not' (('not' ('not' ((('not' a) 'imp' b) . c))) '&' ('not' ((('not' b) 'imp' a) . c))) is V39() boolean set
('not' a) . c is V39() boolean Element of BOOLEAN
'not' (('not' a) . c) is V39() boolean Element of BOOLEAN
('not' (('not' a) . c)) 'or' (b . c) is V39() boolean set
'not' ('not' (('not' a) . c)) is V39() boolean set
('not' ('not' (('not' a) . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (('not' a) . c))) '&' ('not' (b . c))) is V39() boolean set
'not' (('not' (('not' a) . c)) 'or' (b . c)) is V39() boolean set
('not' (('not' (('not' a) . c)) 'or' (b . c))) 'or' ((('not' b) 'imp' a) . c) is V39() boolean set
'not' ('not' (('not' (('not' a) . c)) 'or' (b . c))) is V39() boolean set
('not' ('not' (('not' (('not' a) . c)) 'or' (b . c)))) '&' ('not' ((('not' b) 'imp' a) . c)) is V39() boolean set
'not' (('not' ('not' (('not' (('not' a) . c)) 'or' (b . c)))) '&' ('not' ((('not' b) 'imp' a) . c))) is V39() boolean set
'not' ('not' (('not' a) . c)) is V39() boolean Element of BOOLEAN
('not' ('not' (('not' a) . c))) '&' ('not' (b . c)) is V39() boolean Element of BOOLEAN
('not' b) . c is V39() boolean Element of BOOLEAN
'not' (('not' b) . c) is V39() boolean Element of BOOLEAN
('not' (('not' b) . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (('not' b) . c)) is V39() boolean set
('not' ('not' (('not' b) . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (('not' b) . c))) '&' ('not' (a . c))) is V39() boolean set
(('not' ('not' (('not' a) . c))) '&' ('not' (b . c))) 'or' (('not' (('not' b) . c)) 'or' (a . c)) is V39() boolean set
'not' (('not' ('not' (('not' a) . c))) '&' ('not' (b . c))) is V39() boolean set
'not' (('not' (('not' b) . c)) 'or' (a . c)) is V39() boolean set
('not' (('not' ('not' (('not' a) . c))) '&' ('not' (b . c)))) '&' ('not' (('not' (('not' b) . c)) 'or' (a . c))) is V39() boolean set
'not' (('not' (('not' ('not' (('not' a) . c))) '&' ('not' (b . c)))) '&' ('not' (('not' (('not' b) . c)) 'or' (a . c)))) is V39() boolean set
('not' (a . c)) '&' ('not' (b . c)) is V39() boolean Element of BOOLEAN
(('not' (a . c)) '&' ('not' (b . c))) 'or' (('not' (('not' b) . c)) 'or' (a . c)) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' (b . c))) is V39() boolean set
('not' (('not' (a . c)) '&' ('not' (b . c)))) '&' ('not' (('not' (('not' b) . c)) 'or' (a . c))) is V39() boolean set
'not' (('not' (('not' (a . c)) '&' ('not' (b . c)))) '&' ('not' (('not' (('not' b) . c)) 'or' (a . c)))) is V39() boolean set
(b . c) 'or' (a . c) is V39() boolean set
('not' (b . c)) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' (b . c)) '&' ('not' (a . c))) is V39() boolean set
((b . c) 'or' (a . c)) 'or' (('not' (a . c)) '&' ('not' (b . c))) is V39() boolean set
'not' ((b . c) 'or' (a . c)) is V39() boolean set
('not' ((b . c) 'or' (a . c))) '&' ('not' (('not' (a . c)) '&' ('not' (b . c)))) is V39() boolean set
'not' (('not' ((b . c) 'or' (a . c))) '&' ('not' (('not' (a . c)) '&' ('not' (b . c))))) is V39() boolean set
((b . c) 'or' (a . c)) 'or' ('not' (a . c)) is V39() boolean set
('not' ((b . c) 'or' (a . c))) '&' ('not' ('not' (a . c))) is V39() boolean set
'not' (('not' ((b . c) 'or' (a . c))) '&' ('not' ('not' (a . c)))) is V39() boolean set
((b . c) 'or' (a . c)) 'or' ('not' (b . c)) is V39() boolean set
('not' ((b . c) 'or' (a . c))) '&' ('not' ('not' (b . c))) is V39() boolean set
'not' (('not' ((b . c) 'or' (a . c))) '&' ('not' ('not' (b . c)))) is V39() boolean set
(((b . c) 'or' (a . c)) 'or' ('not' (a . c))) '&' (((b . c) 'or' (a . c)) 'or' ('not' (b . c))) is V39() boolean set
(b . c) 'or' TRUE is V39() boolean set
'not' TRUE is V39() boolean set
('not' (b . c)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (b . c)) '&' ('not' TRUE)) is V39() boolean set
((b . c) 'or' TRUE) '&' (((b . c) 'or' (a . c)) 'or' ('not' (b . c))) is V39() boolean set
TRUE '&' (((b . c) 'or' (a . c)) 'or' ('not' (b . c))) is V39() boolean set
(a . c) 'or' (b . c) is V39() boolean set
('not' (a . c)) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' (b . c))) is V39() boolean set
((a . c) 'or' (b . c)) 'or' ('not' (b . c)) is V39() boolean set
'not' ((a . c) 'or' (b . c)) is V39() boolean set
('not' ((a . c) 'or' (b . c))) '&' ('not' ('not' (b . c))) is V39() boolean set
'not' (('not' ((a . c) 'or' (b . c))) '&' ('not' ('not' (b . c)))) is V39() boolean set
(a . c) 'or' TRUE is V39() boolean set
('not' (a . c)) '&' ('not' TRUE) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' TRUE)) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' ('not' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' ('not' a)) 'imp' ('not' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Element of Y
((a 'imp' ('not' a)) 'imp' ('not' a)) . b is set
(I_el Y) . b is set
a . b is V39() boolean Element of BOOLEAN
'not' (a . b) is V39() boolean Element of BOOLEAN
('not' (a . b)) 'or' (a . b) is V39() boolean set
'not' ('not' (a . b)) is V39() boolean set
'not' (a . b) is V39() boolean set
('not' ('not' (a . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' (a . b))) '&' ('not' (a . b))) is V39() boolean set
a . b is V39() boolean Element of BOOLEAN
'not' (a . b) is V39() boolean Element of BOOLEAN
('not' (a . b)) 'or' (a . b) is V39() boolean set
'not' ('not' (a . b)) is V39() boolean set
'not' (a . b) is V39() boolean set
('not' ('not' (a . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' (a . b))) '&' ('not' (a . b))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . b is V39() boolean Element of BOOLEAN
'not' (a . b) is V39() boolean Element of BOOLEAN
('not' (a . b)) 'or' (a . b) is V39() boolean set
'not' ('not' (a . b)) is V39() boolean set
'not' (a . b) is V39() boolean set
('not' ('not' (a . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' (a . b))) '&' ('not' (a . b))) is V39() boolean set
a . b is V39() boolean Element of BOOLEAN
'not' (a . b) is V39() boolean Element of BOOLEAN
('not' (a . b)) 'or' (a . b) is V39() boolean set
'not' ('not' (a . b)) is V39() boolean set
'not' (a . b) is V39() boolean set
('not' ('not' (a . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' (a . b))) '&' ('not' (a . b))) is V39() boolean set
((a 'imp' ('not' a)) 'imp' ('not' a)) . b is V39() boolean Element of BOOLEAN
(a 'imp' ('not' a)) . b is V39() boolean Element of BOOLEAN
'not' ((a 'imp' ('not' a)) . b) is V39() boolean Element of BOOLEAN
('not' a) . b is V39() boolean Element of BOOLEAN
('not' ((a 'imp' ('not' a)) . b)) 'or' (('not' a) . b) is V39() boolean set
'not' ('not' ((a 'imp' ('not' a)) . b)) is V39() boolean set
'not' (('not' a) . b) is V39() boolean set
('not' ('not' ((a 'imp' ('not' a)) . b))) '&' ('not' (('not' a) . b)) is V39() boolean set
'not' (('not' ('not' ((a 'imp' ('not' a)) . b))) '&' ('not' (('not' a) . b))) is V39() boolean set
('not' (a . b)) 'or' (('not' a) . b) is V39() boolean set
('not' ('not' (a . b))) '&' ('not' (('not' a) . b)) is V39() boolean set
'not' (('not' ('not' (a . b))) '&' ('not' (('not' a) . b))) is V39() boolean set
'not' (('not' (a . b)) 'or' (('not' a) . b)) is V39() boolean set
('not' (('not' (a . b)) 'or' (('not' a) . b))) 'or' (('not' a) . b) is V39() boolean set
'not' ('not' (('not' (a . b)) 'or' (('not' a) . b))) is V39() boolean set
('not' ('not' (('not' (a . b)) 'or' (('not' a) . b)))) '&' ('not' (('not' a) . b)) is V39() boolean set
'not' (('not' ('not' (('not' (a . b)) 'or' (('not' a) . b)))) '&' ('not' (('not' a) . b))) is V39() boolean set
'not' ('not' (a . b)) is V39() boolean Element of BOOLEAN
(a . b) '&' ('not' ('not' (a . b))) is V39() boolean Element of BOOLEAN
((a . b) '&' ('not' ('not' (a . b)))) 'or' (('not' a) . b) is V39() boolean set
'not' ((a . b) '&' ('not' ('not' (a . b)))) is V39() boolean set
('not' ((a . b) '&' ('not' ('not' (a . b))))) '&' ('not' (('not' a) . b)) is V39() boolean set
'not' (('not' ((a . b) '&' ('not' ('not' (a . b))))) '&' ('not' (('not' a) . b))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'imp' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' a) 'imp' (a 'imp' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Element of Y
(('not' a) 'imp' (a 'imp' b)) . c is set
(I_el Y) . c is set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
TRUE 'or' FALSE is V39() boolean set
'not' TRUE is V39() boolean set
'not' FALSE is V39() boolean set
('not' TRUE) '&' ('not' FALSE) is V39() boolean set
'not' (('not' TRUE) '&' ('not' FALSE)) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
a . c is V39() boolean Element of BOOLEAN
'not' (a . c) is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (a . c) is V39() boolean set
'not' ('not' (a . c)) is V39() boolean set
'not' (a . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (a . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (a . c))) is V39() boolean set
(('not' a) 'imp' (a 'imp' b)) . c is V39() boolean Element of BOOLEAN
('not' a) . c is V39() boolean Element of BOOLEAN
'not' (('not' a) . c) is V39() boolean Element of BOOLEAN
(a 'imp' b) . c is V39() boolean Element of BOOLEAN
('not' (('not' a) . c)) 'or' ((a 'imp' b) . c) is V39() boolean set
'not' ('not' (('not' a) . c)) is V39() boolean set
'not' ((a 'imp' b) . c) is V39() boolean set
('not' ('not' (('not' a) . c))) '&' ('not' ((a 'imp' b) . c)) is V39() boolean set
'not' (('not' ('not' (('not' a) . c))) '&' ('not' ((a 'imp' b) . c))) is V39() boolean set
b . c is V39() boolean Element of BOOLEAN
('not' (a . c)) 'or' (b . c) is V39() boolean set
'not' (b . c) is V39() boolean set
('not' ('not' (a . c))) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' ('not' (a . c))) '&' ('not' (b . c))) is V39() boolean set
('not' (('not' a) . c)) 'or' (('not' (a . c)) 'or' (b . c)) is V39() boolean set
'not' (('not' (a . c)) 'or' (b . c)) is V39() boolean set
('not' ('not' (('not' a) . c))) '&' ('not' (('not' (a . c)) 'or' (b . c))) is V39() boolean set
'not' (('not' ('not' (('not' a) . c))) '&' ('not' (('not' (a . c)) 'or' (b . c)))) is V39() boolean set
(a . c) 'or' (('not' (a . c)) 'or' (b . c)) is V39() boolean set
('not' (a . c)) '&' ('not' (('not' (a . c)) 'or' (b . c))) is V39() boolean set
'not' (('not' (a . c)) '&' ('not' (('not' (a . c)) 'or' (b . c)))) is V39() boolean set
TRUE 'or' (b . c) is V39() boolean set
'not' TRUE is V39() boolean set
('not' TRUE) '&' ('not' (b . c)) is V39() boolean set
'not' (('not' TRUE) '&' ('not' (b . c))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a '&' b) '&' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' ((a '&' b) '&' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' a) 'or' ('not' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(('not' a) 'or' ('not' b)) 'or' ('not' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' (a '&' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' (a '&' b)) 'or' ('not' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'or' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'or' b) 'or' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' ((a 'or' b) 'or' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' a) '&' ('not' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(('not' a) '&' ('not' b)) '&' ('not' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
'not' (a 'or' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
('not' (a 'or' b)) '&' ('not' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b '&' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(b '&' c) '&' d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'or' ((b '&' c) '&' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'or' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'or' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'or' b) '&' (a 'or' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'or' d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
((a 'or' b) '&' (a 'or' c)) '&' (a 'or' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a 'or' (b '&' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'or' (b '&' c)) '&' (a 'or' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
b 'or' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(b 'or' c) 'or' d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' ((b 'or' c) 'or' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' b is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a '&' b) 'or' (a '&' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' d is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
((a '&' b) 'or' (a '&' c)) 'or' (a '&' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
a '&' (b 'or' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a '&' (b 'or' c)) 'or' (a '&' d) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))