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

K115() is empty V55() Element of K114()

1 is non empty set

Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a 'imp' b) '&' (() 'imp' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
((a 'imp' b) '&' (() 'imp' b)) . z is set
b . z is set
((a 'imp' b) '&' (() 'imp' b)) . z is V39() boolean Element of BOOLEAN
(a 'imp' b) . z is V39() boolean Element of BOOLEAN
(() 'imp' b) . z is V39() boolean Element of BOOLEAN
((a 'imp' b) . z) '&' ((() 'imp' b) . z) is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' ((() 'imp' b) . z) is V39() boolean set
() . z is V39() boolean Element of BOOLEAN
'not' (() . z) is V39() boolean Element of BOOLEAN
('not' (() . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (() . z)) is V39() boolean set
('not' ('not' (() . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (() . z))) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' (('not' (() . z)) 'or' (b . z)) is V39() boolean set
(a . z) 'or' (b . z) is V39() boolean set
'not' (a . z) is V39() boolean set
('not' (a . z)) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' (a . z)) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' ((a . z) 'or' (b . z)) is V39() boolean set
FALSE 'or' (b . z) is V39() boolean set

() '&' ('not' (b . z)) is V39() boolean set
'not' (() '&' ('not' (b . z))) is V39() boolean set
TRUE 'or' (b . z) is V39() boolean set

() '&' ('not' (b . z)) is V39() boolean set
'not' (() '&' ('not' (b . z))) is V39() boolean set
(FALSE 'or' (b . z)) '&' (TRUE 'or' (b . z)) is V39() boolean set
(FALSE 'or' (b . z)) '&' TRUE is V39() boolean set
TRUE '&' (b . z) is V39() boolean Element of BOOLEAN
TRUE 'or' (b . z) is V39() boolean set

() '&' ('not' (b . z)) is V39() boolean set
'not' (() '&' ('not' (b . z))) is V39() boolean set
FALSE 'or' (b . z) is V39() boolean set

() '&' ('not' (b . z)) is V39() boolean set
'not' (() '&' ('not' (b . z))) is V39() boolean set
(TRUE 'or' (b . z)) '&' (FALSE 'or' (b . z)) is V39() boolean set
TRUE '&' (FALSE 'or' (b . z)) is V39() boolean set
TRUE '&' (b . z) is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a 'imp' b) '&' (a 'imp' ()) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

z is Element of Y
((a 'imp' b) '&' (a 'imp' ())) . z is set
() . z is set
((a 'imp' b) '&' (a 'imp' ())) . z is V39() boolean Element of BOOLEAN
(a 'imp' b) . z is V39() boolean Element of BOOLEAN
(a 'imp' ()) . z is V39() boolean Element of BOOLEAN
((a 'imp' b) . z) '&' ((a 'imp' ()) . z) is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' ((a 'imp' ()) . z) is V39() boolean set
() . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (() . z) is V39() boolean set
'not' (() . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (() . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (() . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' (('not' (a . z)) 'or' (() . z)) is V39() boolean set
'not' (b . z) is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' ('not' (b . z)) is V39() boolean set
'not' ('not' (b . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ('not' (b . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ('not' (b . z)))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' (('not' (a . z)) 'or' ('not' (b . z))) is V39() boolean set
('not' (a . z)) 'or' TRUE is V39() boolean set

('not' ('not' (a . z))) '&' () is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ()) is V39() boolean set
('not' (a . z)) 'or' FALSE is V39() boolean set

('not' ('not' (a . z))) '&' () is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ()) is V39() boolean set
(('not' (a . z)) 'or' TRUE) '&' (('not' (a . z)) 'or' FALSE) is V39() boolean set
(('not' (a . z)) 'or' TRUE) '&' ('not' (a . z)) is V39() boolean set
TRUE '&' ('not' (a . z)) is V39() boolean Element of BOOLEAN
() . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' FALSE is V39() boolean set

('not' ('not' (a . z))) '&' () is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ()) is V39() boolean set
('not' (a . z)) 'or' TRUE is V39() boolean set

('not' ('not' (a . z))) '&' () is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ()) is V39() boolean set
(('not' (a . z)) 'or' FALSE) '&' (('not' (a . z)) 'or' TRUE) is V39() boolean set
('not' (a . z)) '&' (('not' (a . z)) 'or' TRUE) is V39() boolean set
TRUE '&' ('not' (a . z)) is V39() boolean Element of BOOLEAN
() . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

a 'imp' (b 'or' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

(a 'imp' b) 'or' (a 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
(a 'imp' (b 'or' z)) . z is set
((a 'imp' b) 'or' (a 'imp' z)) . z is set
((a 'imp' b) 'or' (a 'imp' z)) . z is V39() boolean Element of BOOLEAN
(a 'imp' b) . z is V39() boolean Element of BOOLEAN
(a 'imp' z) . z is V39() boolean Element of BOOLEAN
((a 'imp' b) . z) 'or' ((a 'imp' z) . z) is V39() boolean set
'not' ((a 'imp' b) . z) is V39() boolean set
'not' ((a 'imp' z) . z) is V39() boolean set
('not' ((a 'imp' b) . z)) '&' ('not' ((a 'imp' z) . z)) is V39() boolean set
'not' (('not' ((a 'imp' b) . z)) '&' ('not' ((a 'imp' z) . z))) is V39() boolean set
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) 'or' ((a 'imp' z) . z) is V39() boolean set
'not' (('not' (a . z)) 'or' (b . z)) is V39() boolean set
('not' (('not' (a . z)) 'or' (b . z))) '&' ('not' ((a 'imp' z) . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' (b . z))) '&' ('not' ((a 'imp' z) . z))) is V39() boolean set
z . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (z . z) is V39() boolean set
'not' (z . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (z . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) 'or' (('not' (a . z)) 'or' (z . z)) is V39() boolean set
'not' (('not' (a . z)) 'or' (z . z)) is V39() boolean set
('not' (('not' (a . z)) 'or' (b . z))) '&' ('not' (('not' (a . z)) 'or' (z . z))) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' (b . z))) '&' ('not' (('not' (a . z)) 'or' (z . z)))) is V39() boolean set
('not' (a . z)) 'or' (('not' (a . z)) 'or' (b . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (('not' (a . z)) 'or' (b . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (('not' (a . z)) 'or' (b . z)))) is V39() boolean set
(('not' (a . z)) 'or' (('not' (a . z)) 'or' (b . z))) 'or' (z . z) is V39() boolean set
'not' (('not' (a . z)) 'or' (('not' (a . z)) 'or' (b . z))) is V39() boolean set
('not' (('not' (a . z)) 'or' (('not' (a . z)) 'or' (b . z)))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' (('not' (a . z)) 'or' (b . z)))) '&' ('not' (z . z))) is V39() boolean set
('not' (a . z)) 'or' ('not' (a . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ('not' (a . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ('not' (a . z)))) is V39() boolean set
(('not' (a . z)) 'or' ('not' (a . z))) 'or' (b . z) is V39() boolean set
'not' (('not' (a . z)) 'or' ('not' (a . z))) is V39() boolean set
('not' (('not' (a . z)) 'or' ('not' (a . z)))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' ('not' (a . z)))) '&' ('not' (b . z))) is V39() boolean set
((('not' (a . z)) 'or' ('not' (a . z))) 'or' (b . z)) 'or' (z . z) is V39() boolean set
'not' ((('not' (a . z)) 'or' ('not' (a . z))) 'or' (b . z)) is V39() boolean set
('not' ((('not' (a . z)) 'or' ('not' (a . z))) 'or' (b . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ((('not' (a . z)) 'or' ('not' (a . z))) 'or' (b . z))) '&' ('not' (z . z))) is V39() boolean set
(b . z) 'or' (z . z) is V39() boolean set
('not' (b . z)) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (b . z)) '&' ('not' (z . z))) is V39() boolean set
('not' (a . z)) 'or' ((b . z) 'or' (z . z)) is V39() boolean set
'not' ((b . z) 'or' (z . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((b . z) 'or' (z . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((b . z) 'or' (z . z)))) is V39() boolean set
(b 'or' z) . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' ((b 'or' z) . z) is V39() boolean set
'not' ((b 'or' z) . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((b 'or' z) . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((b 'or' z) . z))) is V39() boolean set
(a 'imp' (b 'or' z)) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

a 'imp' (b '&' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

(a 'imp' b) '&' (a 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
(a 'imp' (b '&' z)) . z is set
((a 'imp' b) '&' (a 'imp' z)) . z is set
((a 'imp' b) '&' (a 'imp' z)) . z is V39() boolean Element of BOOLEAN
(a 'imp' b) . z is V39() boolean Element of BOOLEAN
(a 'imp' z) . z is V39() boolean Element of BOOLEAN
((a 'imp' b) . z) '&' ((a 'imp' z) . z) is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' ((a 'imp' z) . z) is V39() boolean set
z . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (z . z) is V39() boolean set
'not' (z . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (z . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' (('not' (a . z)) 'or' (z . z)) is V39() boolean set
(b . z) '&' (z . z) is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' ((b . z) '&' (z . z)) is V39() boolean set
'not' ((b . z) '&' (z . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((b . z) '&' (z . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((b . z) '&' (z . z)))) is V39() boolean set
(b '&' z) . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' ((b '&' z) . z) is V39() boolean set
'not' ((b '&' z) . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((b '&' z) . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((b '&' z) . z))) is V39() boolean set
(a 'imp' (b '&' z)) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a 'or' b) 'imp' z is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

(a 'imp' z) '&' (b 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
((a 'or' b) 'imp' z) . z is set
((a 'imp' z) '&' (b 'imp' z)) . z is set
((a 'imp' z) '&' (b 'imp' z)) . z is V39() boolean Element of BOOLEAN
(a 'imp' z) . z is V39() boolean Element of BOOLEAN
(b 'imp' z) . z is V39() boolean Element of BOOLEAN
((a 'imp' z) . z) '&' ((b 'imp' z) . z) is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
z . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (z . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (z . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (z . z))) is V39() boolean set
(('not' (a . z)) 'or' (z . z)) '&' ((b 'imp' z) . z) is V39() boolean set
(z . z) 'or' ('not' (a . z)) is V39() boolean set
('not' (z . z)) '&' ('not' ('not' (a . z))) is V39() boolean set
'not' (('not' (z . z)) '&' ('not' ('not' (a . z)))) is V39() boolean set
b . z is V39() boolean Element of BOOLEAN
'not' (b . z) is V39() boolean Element of BOOLEAN
('not' (b . z)) 'or' (z . z) is V39() boolean set
'not' ('not' (b . z)) is V39() boolean set
('not' ('not' (b . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (b . z))) '&' ('not' (z . z))) is V39() boolean set
((z . z) 'or' ('not' (a . z))) '&' (('not' (b . z)) 'or' (z . z)) is V39() boolean set
(a . z) 'or' (b . z) is V39() boolean set
'not' (a . z) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' (a . z)) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' (a . z)) '&' ('not' (b . z))) is V39() boolean set
'not' ((a . z) 'or' (b . z)) is V39() boolean set
('not' ((a . z) 'or' (b . z))) 'or' (z . z) is V39() boolean set
'not' ('not' ((a . z) 'or' (b . z))) is V39() boolean set
('not' ('not' ((a . z) 'or' (b . z)))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' ((a . z) 'or' (b . z)))) '&' ('not' (z . z))) is V39() boolean set
(a 'or' b) . z is V39() boolean Element of BOOLEAN
'not' ((a 'or' b) . z) is V39() boolean Element of BOOLEAN
('not' ((a 'or' b) . z)) 'or' (z . z) is V39() boolean set
'not' ('not' ((a 'or' b) . z)) is V39() boolean set
('not' ('not' ((a 'or' b) . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' ((a 'or' b) . z))) '&' ('not' (z . z))) is V39() boolean set
((a 'or' b) 'imp' z) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a '&' b) 'imp' z is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

(a 'imp' z) 'or' (b 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
((a '&' b) 'imp' z) . z is set
((a 'imp' z) 'or' (b 'imp' z)) . z is set
((a 'imp' z) 'or' (b 'imp' z)) . z is V39() boolean Element of BOOLEAN
(a 'imp' z) . z is V39() boolean Element of BOOLEAN
(b 'imp' z) . z is V39() boolean Element of BOOLEAN
((a 'imp' z) . z) 'or' ((b 'imp' z) . z) is V39() boolean set
'not' ((a 'imp' z) . z) is V39() boolean set
'not' ((b 'imp' z) . z) is V39() boolean set
('not' ((a 'imp' z) . z)) '&' ('not' ((b 'imp' z) . z)) is V39() boolean set
'not' (('not' ((a 'imp' z) . z)) '&' ('not' ((b 'imp' z) . z))) is V39() boolean set
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
z . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (z . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (z . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (z . z))) is V39() boolean set
(('not' (a . z)) 'or' (z . z)) 'or' ((b 'imp' z) . z) is V39() boolean set
'not' (('not' (a . z)) 'or' (z . z)) is V39() boolean set
('not' (('not' (a . z)) 'or' (z . z))) '&' ('not' ((b 'imp' z) . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' (z . z))) '&' ('not' ((b 'imp' z) . z))) is V39() boolean set
b . z is V39() boolean Element of BOOLEAN
'not' (b . z) is V39() boolean Element of BOOLEAN
('not' (b . z)) 'or' (z . z) is V39() boolean set
'not' ('not' (b . z)) is V39() boolean set
('not' ('not' (b . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (b . z))) '&' ('not' (z . z))) is V39() boolean set
(('not' (a . z)) 'or' (z . z)) 'or' (('not' (b . z)) 'or' (z . z)) is V39() boolean set
'not' (('not' (b . z)) 'or' (z . z)) is V39() boolean set
('not' (('not' (a . z)) 'or' (z . z))) '&' ('not' (('not' (b . z)) 'or' (z . z))) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' (z . z))) '&' ('not' (('not' (b . z)) 'or' (z . z)))) is V39() boolean set
(z . z) 'or' ('not' (b . z)) is V39() boolean set
('not' (z . z)) '&' ('not' ('not' (b . z))) is V39() boolean set
'not' (('not' (z . z)) '&' ('not' ('not' (b . z)))) is V39() boolean set
('not' (a . z)) 'or' ((z . z) 'or' ('not' (b . z))) is V39() boolean set
'not' ((z . z) 'or' ('not' (b . z))) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((z . z) 'or' ('not' (b . z)))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((z . z) 'or' ('not' (b . z))))) is V39() boolean set
(('not' (a . z)) 'or' ((z . z) 'or' ('not' (b . z)))) 'or' (z . z) is V39() boolean set
'not' (('not' (a . z)) 'or' ((z . z) 'or' ('not' (b . z)))) is V39() boolean set
('not' (('not' (a . z)) 'or' ((z . z) 'or' ('not' (b . z))))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' ((z . z) 'or' ('not' (b . z))))) '&' ('not' (z . z))) is V39() boolean set
('not' (a . z)) 'or' ('not' (b . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ('not' (b . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ('not' (b . z)))) is V39() boolean set
(('not' (a . z)) 'or' ('not' (b . z))) 'or' (z . z) is V39() boolean set
'not' (('not' (a . z)) 'or' ('not' (b . z))) is V39() boolean set
('not' (('not' (a . z)) 'or' ('not' (b . z)))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' ('not' (b . z)))) '&' ('not' (z . z))) is V39() boolean set
((('not' (a . z)) 'or' ('not' (b . z))) 'or' (z . z)) 'or' (z . z) is V39() boolean set
'not' ((('not' (a . z)) 'or' ('not' (b . z))) 'or' (z . z)) is V39() boolean set
('not' ((('not' (a . z)) 'or' ('not' (b . z))) 'or' (z . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ((('not' (a . z)) 'or' ('not' (b . z))) 'or' (z . z))) '&' ('not' (z . z))) is V39() boolean set
(z . z) 'or' (z . z) is V39() boolean set
('not' (z . z)) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (z . z)) '&' ('not' (z . z))) is V39() boolean set
(('not' (a . z)) 'or' ('not' (b . z))) 'or' ((z . z) 'or' (z . z)) is V39() boolean set
'not' ((z . z) 'or' (z . z)) is V39() boolean set
('not' (('not' (a . z)) 'or' ('not' (b . z)))) '&' ('not' ((z . z) 'or' (z . z))) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' ('not' (b . z)))) '&' ('not' ((z . z) 'or' (z . z)))) is V39() boolean set
(a '&' b) . z is V39() boolean Element of BOOLEAN
'not' ((a '&' b) . z) is V39() boolean Element of BOOLEAN
('not' ((a '&' b) . z)) 'or' (z . z) is V39() boolean set
'not' ('not' ((a '&' b) . z)) is V39() boolean set
('not' ('not' ((a '&' b) . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' ((a '&' b) . z))) '&' ('not' (z . z))) is V39() boolean set
((a '&' b) 'imp' z) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a '&' b) 'imp' z is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

a 'imp' (b 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
((a '&' b) 'imp' z) . z is set
(a 'imp' (b 'imp' z)) . z is set
(a 'imp' (b 'imp' z)) . z is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
(b 'imp' z) . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' ((b 'imp' z) . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' ((b 'imp' z) . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((b 'imp' z) . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((b 'imp' z) . z))) is V39() boolean set
b . z is V39() boolean Element of BOOLEAN
'not' (b . z) is V39() boolean Element of BOOLEAN
z . z is V39() boolean Element of BOOLEAN
('not' (b . z)) 'or' (z . z) is V39() boolean set
'not' ('not' (b . z)) is V39() boolean set
'not' (z . z) is V39() boolean set
('not' ('not' (b . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (b . z))) '&' ('not' (z . z))) is V39() boolean set
('not' (a . z)) 'or' (('not' (b . z)) 'or' (z . z)) is V39() boolean set
'not' (('not' (b . z)) 'or' (z . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (('not' (b . z)) 'or' (z . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (('not' (b . z)) 'or' (z . z)))) is V39() boolean set
('not' (a . z)) 'or' ('not' (b . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ('not' (b . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ('not' (b . z)))) is V39() boolean set
(('not' (a . z)) 'or' ('not' (b . z))) 'or' (z . z) is V39() boolean set
'not' (('not' (a . z)) 'or' ('not' (b . z))) is V39() boolean set
('not' (('not' (a . z)) 'or' ('not' (b . z)))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' ('not' (b . z)))) '&' ('not' (z . z))) is V39() boolean set
(a '&' b) . z is V39() boolean Element of BOOLEAN
'not' ((a '&' b) . z) is V39() boolean Element of BOOLEAN
('not' ((a '&' b) . z)) 'or' (z . z) is V39() boolean set
'not' ('not' ((a '&' b) . z)) is V39() boolean set
('not' ('not' ((a '&' b) . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' ((a '&' b) . z))) '&' ('not' (z . z))) is V39() boolean set
((a '&' b) 'imp' z) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a '&' b) 'imp' z is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

a 'imp' (() 'or' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
((a '&' b) 'imp' z) . z is set
(a 'imp' (() 'or' z)) . z is set
(a 'imp' (() 'or' z)) . z is V39() boolean Element of BOOLEAN

a 'imp' (b 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
(a 'imp' (b 'imp' z)) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

a 'imp' (b 'or' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

(a '&' ()) 'imp' z is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
(a 'imp' (b 'or' z)) . z is set
((a '&' ()) 'imp' z) . z is set
((a '&' ()) 'imp' z) . z is V39() boolean Element of BOOLEAN
(a '&' ()) . z is V39() boolean Element of BOOLEAN
'not' ((a '&' ()) . z) is V39() boolean Element of BOOLEAN
z . z is V39() boolean Element of BOOLEAN
('not' ((a '&' ()) . z)) 'or' (z . z) is V39() boolean set
'not' ('not' ((a '&' ()) . z)) is V39() boolean set
'not' (z . z) is V39() boolean set
('not' ('not' ((a '&' ()) . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' ((a '&' ()) . z))) '&' ('not' (z . z))) is V39() boolean set
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
() . z is V39() boolean Element of BOOLEAN
'not' (() . z) is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' ('not' (() . z)) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' ('not' (() . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ('not' (() . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ('not' (() . z)))) is V39() boolean set
(('not' (a . z)) 'or' ('not' (() . z))) 'or' (z . z) is V39() boolean set
'not' (('not' (a . z)) 'or' ('not' (() . z))) is V39() boolean set
('not' (('not' (a . z)) 'or' ('not' (() . z)))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' ('not' (() . z)))) '&' ('not' (z . z))) is V39() boolean set
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) 'or' (z . z) is V39() boolean set
'not' (('not' (a . z)) 'or' (b . z)) is V39() boolean set
('not' (('not' (a . z)) 'or' (b . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (('not' (a . z)) 'or' (b . z))) '&' ('not' (z . z))) is V39() boolean set
(b . z) 'or' (z . z) is V39() boolean set
('not' (b . z)) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' (b . z)) '&' ('not' (z . z))) is V39() boolean set
('not' (a . z)) 'or' ((b . z) 'or' (z . z)) is V39() boolean set
'not' ((b . z) 'or' (z . z)) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((b . z) 'or' (z . z))) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((b . z) 'or' (z . z)))) is V39() boolean set
(b 'or' z) . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' ((b 'or' z) . z) is V39() boolean set
'not' ((b 'or' z) . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' ((b 'or' z) . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' ((b 'or' z) . z))) is V39() boolean set
(a 'imp' (b 'or' z)) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

a '&' (a 'imp' b) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

z is Element of Y
(a '&' (a 'imp' b)) . z is set
(a '&' b) . z is set
(a '&' (a 'imp' b)) . z is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
(a 'imp' b) . z is V39() boolean Element of BOOLEAN
(a . z) '&' ((a 'imp' b) . z) is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(a . z) '&' (('not' (a . z)) 'or' (b . z)) is V39() boolean set
(a . z) '&' ('not' (a . z)) is V39() boolean Element of BOOLEAN
(a . z) '&' (b . z) is V39() boolean Element of BOOLEAN
((a . z) '&' ('not' (a . z))) 'or' ((a . z) '&' (b . z)) is V39() boolean set
'not' ((a . z) '&' ('not' (a . z))) is V39() boolean set
'not' ((a . z) '&' (b . z)) is V39() boolean set
('not' ((a . z) '&' ('not' (a . z)))) '&' ('not' ((a . z) '&' (b . z))) is V39() boolean set
'not' (('not' ((a . z) '&' ('not' (a . z)))) '&' ('not' ((a . z) '&' (b . z)))) is V39() boolean set
FALSE 'or' ((a . z) '&' (b . z)) is V39() boolean set

() '&' ('not' ((a . z) '&' (b . z))) is V39() boolean set
'not' (() '&' ('not' ((a . z) '&' (b . z)))) is V39() boolean set
(a '&' b) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a 'imp' b) '&' () is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

() '&' () is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
((a 'imp' b) '&' ()) . z is set
(() '&' ()) . z is set
((a 'imp' b) '&' ()) . z is V39() boolean Element of BOOLEAN
(a 'imp' b) . z is V39() boolean Element of BOOLEAN
() . z is V39() boolean Element of BOOLEAN
((a 'imp' b) . z) '&' (() . z) is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(() . z) '&' (('not' (a . z)) 'or' (b . z)) is V39() boolean set
(() . z) '&' ('not' (a . z)) is V39() boolean Element of BOOLEAN
(() . z) '&' (b . z) is V39() boolean Element of BOOLEAN
((() . z) '&' ('not' (a . z))) 'or' ((() . z) '&' (b . z)) is V39() boolean set
'not' ((() . z) '&' ('not' (a . z))) is V39() boolean set
'not' ((() . z) '&' (b . z)) is V39() boolean set
('not' ((() . z) '&' ('not' (a . z)))) '&' ('not' ((() . z) '&' (b . z))) is V39() boolean set
'not' (('not' ((() . z) '&' ('not' (a . z)))) '&' ('not' ((() . z) '&' (b . z)))) is V39() boolean set
'not' (b . z) is V39() boolean Element of BOOLEAN
(b . z) '&' ('not' (b . z)) is V39() boolean Element of BOOLEAN
((() . z) '&' ('not' (a . z))) 'or' ((b . z) '&' ('not' (b . z))) is V39() boolean set
'not' ((b . z) '&' ('not' (b . z))) is V39() boolean set
('not' ((() . z) '&' ('not' (a . z)))) '&' ('not' ((b . z) '&' ('not' (b . z)))) is V39() boolean set
'not' (('not' ((() . z) '&' ('not' (a . z)))) '&' ('not' ((b . z) '&' ('not' (b . z))))) is V39() boolean set
((() . z) '&' ('not' (a . z))) 'or' FALSE is V39() boolean set

('not' ((() . z) '&' ('not' (a . z)))) '&' () is V39() boolean set
'not' (('not' ((() . z) '&' ('not' (a . z)))) '&' ()) is V39() boolean set
() . z is V39() boolean Element of BOOLEAN
(() . z) '&' (() . z) is V39() boolean Element of BOOLEAN
(() '&' ()) . z is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

(a 'imp' b) '&' (b 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

((a 'imp' b) '&' (b 'imp' z)) '&' (a 'imp' z) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
z is Element of Y
((a 'imp' b) '&' (b 'imp' z)) . z is set
(((a 'imp' b) '&' (b 'imp' z)) '&' (a 'imp' z)) . z is set
(((a 'imp' b) '&' (b 'imp' z)) '&' (a 'imp' z)) . z is V39() boolean Element of BOOLEAN
((a 'imp' b) '&' (b 'imp' z)) . z is V39() boolean Element of BOOLEAN
(a 'imp' z) . z is V39() boolean Element of BOOLEAN
(((a 'imp' b) '&' (b 'imp' z)) . z) '&' ((a 'imp' z) . z) is V39() boolean Element of BOOLEAN
(a 'imp' b) . z is V39() boolean Element of BOOLEAN
(b 'imp' z) . z is V39() boolean Element of BOOLEAN
((a 'imp' b) . z) '&' ((b 'imp' z) . z) is V39() boolean Element of BOOLEAN
(((a 'imp' b) . z) '&' ((b 'imp' z) . z)) '&' ((a 'imp' z) . z) is V39() boolean Element of BOOLEAN
a . z is V39() boolean Element of BOOLEAN
'not' (a . z) is V39() boolean Element of BOOLEAN
b . z is V39() boolean Element of BOOLEAN
('not' (a . z)) 'or' (b . z) is V39() boolean set
'not' ('not' (a . z)) is V39() boolean set
'not' (b . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (b . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (b . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' ((b 'imp' z) . z) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' ((b 'imp' z) . z)) '&' ((a 'imp' z) . z) is V39() boolean set
'not' (b . z) is V39() boolean Element of BOOLEAN
z . z is V39() boolean Element of BOOLEAN
('not' (b . z)) 'or' (z . z) is V39() boolean set
'not' ('not' (b . z)) is V39() boolean set
'not' (z . z) is V39() boolean set
('not' ('not' (b . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (b . z))) '&' ('not' (z . z))) is V39() boolean set
(('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' ((a 'imp' z) . z) is V39() boolean set
('not' (a . z)) 'or' (z . z) is V39() boolean set
('not' ('not' (a . z))) '&' ('not' (z . z)) is V39() boolean set
'not' (('not' ('not' (a . z))) '&' ('not' (z . z))) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' (('not' (a . z)) 'or' (z . z)) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' ('not' (a . z)) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' (z . z) is V39() boolean set
(((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' ('not' (a . z))) 'or' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' (z . z)) is V39() boolean set
'not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' ('not' (a . z))) is V39() boolean set
'not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' (z . z)) is V39() boolean set
('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' ('not' (a . z)))) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' (z . z))) is V39() boolean set
'not' (('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' ('not' (a . z)))) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' (z . z)))) is V39() boolean set
((a 'imp' b) . z) '&' (('not' (b . z)) 'or' (z . z)) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE is V39() boolean set
(((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE) 'or' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE) is V39() boolean set
'not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE) is V39() boolean set
'not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE) is V39() boolean set
('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE)) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE)) is V39() boolean set
'not' (('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE)) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE))) is V39() boolean set
FALSE 'or' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE) is V39() boolean set

() '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE)) is V39() boolean set
'not' (() '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE))) is V39() boolean set
FALSE 'or' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) is V39() boolean set
'not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) is V39() boolean set
() '&' ('not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) is V39() boolean set
'not' (() '&' ('not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))))) is V39() boolean set
FALSE 'or' (b . z) is V39() boolean set

() '&' ('not' (b . z)) is V39() boolean set
'not' (() '&' ('not' (b . z))) is V39() boolean set
('not' (b . z)) 'or' FALSE is V39() boolean set
('not' ('not' (b . z))) '&' () is V39() boolean set
'not' (('not' ('not' (b . z))) '&' ()) is V39() boolean set
(FALSE 'or' (b . z)) '&' (('not' (b . z)) 'or' FALSE) is V39() boolean set
(FALSE 'or' (b . z)) '&' ('not' (b . z)) is V39() boolean set
(b . z) '&' ('not' (b . z)) is V39() boolean Element of BOOLEAN
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE is V39() boolean set
(((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE) 'or' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE) is V39() boolean set
'not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE) is V39() boolean set
('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE)) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE)) is V39() boolean set
'not' (('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE)) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' FALSE))) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE is V39() boolean set
(((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE) 'or' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE) is V39() boolean set
'not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE) is V39() boolean set
('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE)) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE)) is V39() boolean set
'not' (('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE)) '&' ('not' (((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) '&' TRUE))) is V39() boolean set
TRUE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) is V39() boolean set
FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) is V39() boolean set
(TRUE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) 'or' (FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) is V39() boolean set
'not' (TRUE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) is V39() boolean set
'not' (FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) is V39() boolean set
('not' (TRUE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))))) '&' ('not' (FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))))) is V39() boolean set
'not' (('not' (TRUE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))))) '&' ('not' (FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))))) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) 'or' (FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) is V39() boolean set
'not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) is V39() boolean set
('not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) '&' ('not' (FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))))) is V39() boolean set
'not' (('not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) '&' ('not' (FALSE '&' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))))) is V39() boolean set
((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z))) 'or' FALSE is V39() boolean set

('not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) '&' () is V39() boolean set
'not' (('not' ((('not' (a . z)) 'or' (b . z)) '&' (('not' (b . z)) 'or' (z . z)))) '&' ()) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

b is Element of Y
((I_el Y) 'imp' a) . b is set
a . b is set
((I_el Y) 'imp' a) . b is V39() boolean Element of BOOLEAN
(I_el Y) . b is V39() boolean Element of BOOLEAN
'not' ((I_el Y) . b) is V39() boolean Element of BOOLEAN
a . b is V39() boolean Element of BOOLEAN
('not' ((I_el Y) . b)) 'or' (a . b) is V39() boolean set
'not' ('not' ((I_el Y) . b)) is V39() boolean set
'not' (a . b) is V39() boolean set
('not' ('not' ((I_el Y) . b))) '&' ('not' (a . b)) is V39() boolean set
'not' (('not' ('not' ((I_el Y) . b))) '&' ('not' (a . b))) is V39() boolean set
FALSE 'or' (a . b) is V39() boolean set

() '&' ('not' (a . b)) is V39() boolean set
'not' (() '&' ('not' (a . b))) is V39() boolean set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

b is Element of Y
(a 'imp' (O_el Y)) . b is set
() . b is set
(a 'imp' (O_el Y)) . b is V39() boolean Element of BOOLEAN
a . b is V39() boolean Element of BOOLEAN
'not' (a . b) is V39() boolean Element of BOOLEAN
(O_el Y) . b is V39() boolean Element of BOOLEAN
('not' (a . b)) 'or' ((O_el Y) . b) is V39() boolean set
'not' ('not' (a