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

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

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

((a 'imp' b) '&' (a 'imp' c)) '&' (a 'imp' x) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
x is Element of Y
(a 'imp' ((b '&' c) '&' x)) . x is set
(((a 'imp' b) '&' (a 'imp' c)) '&' (a 'imp' x)) . x is set
(((a 'imp' b) '&' (a 'imp' c)) '&' (a 'imp' x)) . x is V39() boolean Element of BOOLEAN
((a 'imp' b) '&' (a 'imp' c)) . x is V39() boolean Element of BOOLEAN
(a 'imp' x) . x is V39() boolean Element of BOOLEAN
(((a 'imp' b) '&' (a 'imp' c)) . x) '&' ((a 'imp' x) . x) is V39() boolean Element of BOOLEAN
(a 'imp' b) . x is V39() boolean Element of BOOLEAN
(a 'imp' c) . x is V39() boolean Element of BOOLEAN
((a 'imp' b) . x) '&' ((a 'imp' c) . x) is V39() boolean Element of BOOLEAN
(((a 'imp' b) . x) '&' ((a 'imp' c) . x)) '&' ((a 'imp' x) . 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 . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (b . x) is V39() boolean set
'not' ('not' (a . x)) is V39() boolean set
'not' (b . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (b . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (b . x))) is V39() boolean set
(('not' (a . x)) 'or' (b . x)) '&' ((a 'imp' c) . x) is V39() boolean set
((('not' (a . x)) 'or' (b . x)) '&' ((a 'imp' c) . x)) '&' ((a 'imp' x) . x) is V39() boolean set
c . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (c . x) is V39() boolean set
'not' (c . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (c . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (c . x))) is V39() boolean set
(('not' (a . x)) 'or' (b . x)) '&' (('not' (a . x)) 'or' (c . x)) is V39() boolean set
((('not' (a . x)) 'or' (b . x)) '&' (('not' (a . x)) 'or' (c . x))) '&' ((a 'imp' x) . x) is V39() boolean set
x . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (x . x) is V39() boolean set
'not' (x . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (x . x))) is V39() boolean set
((('not' (a . x)) 'or' (b . x)) '&' (('not' (a . x)) 'or' (c . x))) '&' (('not' (a . x)) 'or' (x . x)) is V39() boolean set
(b . x) '&' (c . x) is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' ((b . x) '&' (c . x)) is V39() boolean set
'not' ((b . x) '&' (c . x)) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' ((b . x) '&' (c . x))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' ((b . x) '&' (c . x)))) is V39() boolean set
(('not' (a . x)) 'or' ((b . x) '&' (c . x))) '&' (('not' (a . x)) 'or' (x . x)) is V39() boolean set
((b . x) '&' (c . x)) '&' (x . x) is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (((b . x) '&' (c . x)) '&' (x . x)) is V39() boolean set
'not' (((b . x) '&' (c . x)) '&' (x . x)) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (((b . x) '&' (c . x)) '&' (x . x))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (((b . x) '&' (c . x)) '&' (x . x)))) is V39() boolean set
(b '&' c) . x is V39() boolean Element of BOOLEAN
((b '&' c) . x) '&' (x . x) is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (((b '&' c) . x) '&' (x . x)) is V39() boolean set
'not' (((b '&' c) . x) '&' (x . x)) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (((b '&' c) . x) '&' (x . x))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (((b '&' c) . x) '&' (x . x)))) is V39() boolean set
((b '&' c) '&' x) . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (((b '&' c) '&' x) . x) is V39() boolean set
'not' (((b '&' c) '&' x) . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (((b '&' c) '&' x) . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (((b '&' c) '&' x) . x))) is V39() boolean set
(a 'imp' ((b '&' c) '&' x)) . x is V39() boolean Element of BOOLEAN
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set

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

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

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

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

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

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

((a 'imp' x) 'or' (b 'imp' x)) 'or' (c 'imp' x) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
x is Element of Y
(((a '&' b) '&' c) 'imp' x) . x is set
(((a 'imp' x) 'or' (b 'imp' x)) 'or' (c 'imp' x)) . x is set
(((a 'imp' x) 'or' (b 'imp' x)) 'or' (c 'imp' x)) . x is V39() boolean Element of BOOLEAN
((a 'imp' x) 'or' (b 'imp' x)) . x is V39() boolean Element of BOOLEAN
(c 'imp' x) . x is V39() boolean Element of BOOLEAN
(((a 'imp' x) 'or' (b 'imp' x)) . x) 'or' ((c 'imp' x) . x) is V39() boolean set
'not' (((a 'imp' x) 'or' (b 'imp' x)) . x) is V39() boolean set
'not' ((c 'imp' x) . x) is V39() boolean set
('not' (((a 'imp' x) 'or' (b 'imp' x)) . x)) '&' ('not' ((c 'imp' x) . x)) is V39() boolean set
'not' (('not' (((a 'imp' x) 'or' (b 'imp' x)) . x)) '&' ('not' ((c 'imp' x) . x))) is V39() boolean set
(a 'imp' x) . x is V39() boolean Element of BOOLEAN
(b 'imp' x) . x is V39() boolean Element of BOOLEAN
((a 'imp' x) . x) 'or' ((b 'imp' x) . x) is V39() boolean set
'not' ((a 'imp' x) . x) is V39() boolean set
'not' ((b 'imp' x) . x) is V39() boolean set
('not' ((a 'imp' x) . x)) '&' ('not' ((b 'imp' x) . x)) is V39() boolean set
'not' (('not' ((a 'imp' x) . x)) '&' ('not' ((b 'imp' x) . x))) is V39() boolean set
(((a 'imp' x) . x) 'or' ((b 'imp' x) . x)) 'or' ((c 'imp' x) . x) is V39() boolean set
'not' (((a 'imp' x) . x) 'or' ((b 'imp' x) . x)) is V39() boolean set
('not' (((a 'imp' x) . x) 'or' ((b 'imp' x) . x))) '&' ('not' ((c 'imp' x) . x)) is V39() boolean set
'not' (('not' (((a 'imp' x) . x) 'or' ((b 'imp' x) . x))) '&' ('not' ((c 'imp' x) . x))) is V39() boolean set
a . x is V39() boolean Element of BOOLEAN
'not' (a . x) is V39() boolean Element of BOOLEAN
x . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (x . x) is V39() boolean set
'not' ('not' (a . x)) is V39() boolean set
'not' (x . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (x . x))) is V39() boolean set
(('not' (a . x)) 'or' (x . x)) 'or' ((b 'imp' x) . x) is V39() boolean set
'not' (('not' (a . x)) 'or' (x . x)) is V39() boolean set
('not' (('not' (a . x)) 'or' (x . x))) '&' ('not' ((b 'imp' x) . x)) is V39() boolean set
'not' (('not' (('not' (a . x)) 'or' (x . x))) '&' ('not' ((b 'imp' x) . x))) is V39() boolean set
((('not' (a . x)) 'or' (x . x)) 'or' ((b 'imp' x) . x)) 'or' ((c 'imp' x) . x) is V39() boolean set
'not' ((('not' (a . x)) 'or' (x . x)) 'or' ((b 'imp' x) . x)) is V39() boolean set
('not' ((('not' (a . x)) 'or' (x . x)) 'or' ((b 'imp' x) . x))) '&' ('not' ((c 'imp' x) . x)) is V39() boolean set
'not' (('not' ((('not' (a . x)) 'or' (x . x)) 'or' ((b 'imp' x) . x))) '&' ('not' ((c 'imp' x) . x))) is V39() boolean set
b . x is V39() boolean Element of BOOLEAN
'not' (b . x) is V39() boolean Element of BOOLEAN
('not' (b . x)) 'or' (x . x) is V39() boolean set
'not' ('not' (b . x)) is V39() boolean set
('not' ('not' (b . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (b . x))) '&' ('not' (x . x))) is V39() boolean set
(('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x)) is V39() boolean set
'not' (('not' (b . x)) 'or' (x . x)) is V39() boolean set
('not' (('not' (a . x)) 'or' (x . x))) '&' ('not' (('not' (b . x)) 'or' (x . x))) is V39() boolean set
'not' (('not' (('not' (a . x)) 'or' (x . x))) '&' ('not' (('not' (b . x)) 'or' (x . x)))) is V39() boolean set
((('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x))) 'or' ((c 'imp' x) . x) is V39() boolean set
'not' ((('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x))) is V39() boolean set
('not' ((('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x)))) '&' ('not' ((c 'imp' x) . x)) is V39() boolean set
'not' (('not' ((('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x)))) '&' ('not' ((c 'imp' x) . 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' (x . x) is V39() boolean set
'not' ('not' (c . x)) is V39() boolean set
('not' ('not' (c . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (c . x))) '&' ('not' (x . x))) is V39() boolean set
((('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x))) 'or' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
'not' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
('not' ((('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x)))) '&' ('not' (('not' (c . x)) 'or' (x . x))) is V39() boolean set
'not' (('not' ((('not' (a . x)) 'or' (x . x)) 'or' (('not' (b . x)) 'or' (x . x)))) '&' ('not' (('not' (c . x)) 'or' (x . x)))) is V39() boolean set
(x . x) 'or' ('not' (b . x)) is V39() boolean set
('not' (x . x)) '&' ('not' ('not' (b . x))) is V39() boolean set
'not' (('not' (x . x)) '&' ('not' ('not' (b . x)))) is V39() boolean set
('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x))) is V39() boolean set
'not' ((x . x) 'or' ('not' (b . x))) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' ((x . x) 'or' ('not' (b . x)))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' ((x . x) 'or' ('not' (b . x))))) is V39() boolean set
(('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x)))) 'or' (x . x) is V39() boolean set
'not' (('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x)))) is V39() boolean set
('not' (('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x))))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' (('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x))))) '&' ('not' (x . x))) is V39() boolean set
((('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x)))) 'or' (x . x)) 'or' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
'not' ((('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x)))) 'or' (x . x)) is V39() boolean set
('not' ((('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x)))) 'or' (x . x))) '&' ('not' (('not' (c . x)) 'or' (x . x))) is V39() boolean set
'not' (('not' ((('not' (a . x)) 'or' ((x . x) 'or' ('not' (b . x)))) 'or' (x . x))) '&' ('not' (('not' (c . x)) 'or' (x . x)))) is V39() boolean set
('not' (a . x)) 'or' ('not' (b . x)) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' ('not' (b . x))) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' ('not' (b . x)))) is V39() boolean set
(('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x) is V39() boolean set
'not' (('not' (a . x)) 'or' ('not' (b . x))) is V39() boolean set
('not' (('not' (a . x)) 'or' ('not' (b . x)))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' (('not' (a . x)) 'or' ('not' (b . x)))) '&' ('not' (x . x))) is V39() boolean set
((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x)) 'or' (x . x) is V39() boolean set
'not' ((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x)) is V39() boolean set
('not' ((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x))) '&' ('not' (x . x))) is V39() boolean set
(((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x)) 'or' (x . x)) 'or' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
'not' (((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x)) 'or' (x . x)) is V39() boolean set
('not' (((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x)) 'or' (x . x))) '&' ('not' (('not' (c . x)) 'or' (x . x))) is V39() boolean set
'not' (('not' (((('not' (a . x)) 'or' ('not' (b . x))) 'or' (x . x)) 'or' (x . x))) '&' ('not' (('not' (c . x)) 'or' (x . x)))) is V39() boolean set
(x . x) 'or' (x . x) is V39() boolean set
('not' (x . x)) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' (x . x)) '&' ('not' (x . x))) is V39() boolean set
(('not' (a . x)) 'or' ('not' (b . x))) 'or' ((x . x) 'or' (x . x)) is V39() boolean set
'not' ((x . x) 'or' (x . x)) is V39() boolean set
('not' (('not' (a . x)) 'or' ('not' (b . x)))) '&' ('not' ((x . x) 'or' (x . x))) is V39() boolean set
'not' (('not' (('not' (a . x)) 'or' ('not' (b . x)))) '&' ('not' ((x . x) 'or' (x . x)))) is V39() boolean set
((('not' (a . x)) 'or' ('not' (b . x))) 'or' ((x . x) 'or' (x . x))) 'or' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
'not' ((('not' (a . x)) 'or' ('not' (b . x))) 'or' ((x . x) 'or' (x . x))) is V39() boolean set
('not' ((('not' (a . x)) 'or' ('not' (b . x))) 'or' ((x . x) 'or' (x . x)))) '&' ('not' (('not' (c . x)) 'or' (x . x))) is V39() boolean set
'not' (('not' ((('not' (a . x)) 'or' ('not' (b . x))) 'or' ((x . x) 'or' (x . x)))) '&' ('not' (('not' (c . x)) 'or' (x . x)))) is V39() boolean set
(a . x) '&' (b . x) is V39() boolean Element of BOOLEAN
'not' ((a . x) '&' (b . x)) is V39() boolean Element of BOOLEAN
(x . x) 'or' ('not' (c . x)) is V39() boolean set
('not' (x . x)) '&' ('not' ('not' (c . x))) is V39() boolean set
'not' (('not' (x . x)) '&' ('not' ('not' (c . x)))) is V39() boolean set
('not' ((a . x) '&' (b . x))) 'or' ((x . x) 'or' ('not' (c . x))) is V39() boolean set
'not' ('not' ((a . x) '&' (b . x))) is V39() boolean set
'not' ((x . x) 'or' ('not' (c . x))) is V39() boolean set
('not' ('not' ((a . x) '&' (b . x)))) '&' ('not' ((x . x) 'or' ('not' (c . x)))) is V39() boolean set
'not' (('not' ('not' ((a . x) '&' (b . x)))) '&' ('not' ((x . x) 'or' ('not' (c . x))))) is V39() boolean set
(('not' ((a . x) '&' (b . x))) 'or' ((x . x) 'or' ('not' (c . x)))) 'or' (x . x) is V39() boolean set
'not' (('not' ((a . x) '&' (b . x))) 'or' ((x . x) 'or' ('not' (c . x)))) is V39() boolean set
('not' (('not' ((a . x) '&' (b . x))) 'or' ((x . x) 'or' ('not' (c . x))))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' (('not' ((a . x) '&' (b . x))) 'or' ((x . x) 'or' ('not' (c . x))))) '&' ('not' (x . x))) is V39() boolean set
('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x)) is V39() boolean set
('not' ('not' ((a . x) '&' (b . x)))) '&' ('not' ('not' (c . x))) is V39() boolean set
'not' (('not' ('not' ((a . x) '&' (b . x)))) '&' ('not' ('not' (c . x)))) is V39() boolean set
(('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x))) 'or' (x . x) is V39() boolean set
'not' (('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x))) is V39() boolean set
('not' (('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x)))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' (('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x)))) '&' ('not' (x . x))) is V39() boolean set
((('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x))) 'or' (x . x)) 'or' (x . x) is V39() boolean set
'not' ((('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x))) 'or' (x . x)) is V39() boolean set
('not' ((('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x))) 'or' (x . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ((('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x))) 'or' (x . x))) '&' ('not' (x . x))) is V39() boolean set
(('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x))) 'or' ((x . x) 'or' (x . x)) is V39() boolean set
('not' (('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x)))) '&' ('not' ((x . x) 'or' (x . x))) is V39() boolean set
'not' (('not' (('not' ((a . x) '&' (b . x))) 'or' ('not' (c . x)))) '&' ('not' ((x . x) 'or' (x . x)))) is V39() boolean set
(a '&' b) . x is V39() boolean Element of BOOLEAN
((a '&' b) . x) '&' (c . x) is V39() boolean Element of BOOLEAN
'not' (((a '&' b) . x) '&' (c . x)) is V39() boolean Element of BOOLEAN
('not' (((a '&' b) . x) '&' (c . x))) 'or' (x . x) is V39() boolean set
'not' ('not' (((a '&' b) . x) '&' (c . x))) is V39() boolean set
('not' ('not' (((a '&' b) . x) '&' (c . x)))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (((a '&' b) . x) '&' (c . x)))) '&' ('not' (x . x))) is V39() boolean set
((a '&' b) '&' c) . x is V39() boolean Element of BOOLEAN
'not' (((a '&' b) '&' c) . x) is V39() boolean Element of BOOLEAN
('not' (((a '&' b) '&' c) . x)) 'or' (x . x) is V39() boolean set
'not' ('not' (((a '&' b) '&' c) . x)) is V39() boolean set
('not' ('not' (((a '&' b) '&' c) . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (((a '&' b) '&' c) . x))) '&' ('not' (x . x))) is V39() boolean set
(((a '&' b) '&' c) 'imp' x) . x 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) 'or' c is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

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

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

((a 'imp' x) '&' (b 'imp' x)) '&' (c 'imp' x) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
x is Element of Y
(((a 'or' b) 'or' c) 'imp' x) . x is set
(((a 'imp' x) '&' (b 'imp' x)) '&' (c 'imp' x)) . x is set
(((a 'imp' x) '&' (b 'imp' x)) '&' (c 'imp' x)) . x is V39() boolean Element of BOOLEAN
((a 'imp' x) '&' (b 'imp' x)) . x is V39() boolean Element of BOOLEAN
(c 'imp' x) . x is V39() boolean Element of BOOLEAN
(((a 'imp' x) '&' (b 'imp' x)) . x) '&' ((c 'imp' x) . x) is V39() boolean Element of BOOLEAN
(a 'imp' x) . x is V39() boolean Element of BOOLEAN
(b 'imp' x) . x is V39() boolean Element of BOOLEAN
((a 'imp' x) . x) '&' ((b 'imp' x) . x) is V39() boolean Element of BOOLEAN
(((a 'imp' x) . x) '&' ((b 'imp' x) . x)) '&' ((c 'imp' x) . x) is V39() boolean Element of BOOLEAN
a . x is V39() boolean Element of BOOLEAN
'not' (a . x) is V39() boolean Element of BOOLEAN
x . x is V39() boolean Element of BOOLEAN
('not' (a . x)) 'or' (x . x) is V39() boolean set
'not' ('not' (a . x)) is V39() boolean set
'not' (x . x) is V39() boolean set
('not' ('not' (a . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (a . x))) '&' ('not' (x . x))) is V39() boolean set
(('not' (a . x)) 'or' (x . x)) '&' ((b 'imp' x) . x) is V39() boolean set
((('not' (a . x)) 'or' (x . x)) '&' ((b 'imp' x) . x)) '&' ((c 'imp' x) . x) is V39() boolean set
b . x is V39() boolean Element of BOOLEAN
'not' (b . x) is V39() boolean Element of BOOLEAN
('not' (b . x)) 'or' (x . x) is V39() boolean set
'not' ('not' (b . x)) is V39() boolean set
('not' ('not' (b . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (b . x))) '&' ('not' (x . x))) is V39() boolean set
(('not' (a . x)) 'or' (x . x)) '&' (('not' (b . x)) 'or' (x . x)) is V39() boolean set
((('not' (a . x)) 'or' (x . x)) '&' (('not' (b . x)) 'or' (x . x))) '&' ((c 'imp' x) . x) is V39() boolean set
(x . x) 'or' ('not' (a . x)) is V39() boolean set
('not' (x . x)) '&' ('not' ('not' (a . x))) is V39() boolean set
'not' (('not' (x . x)) '&' ('not' ('not' (a . x)))) is V39() boolean set
((x . x) 'or' ('not' (a . x))) '&' (('not' (b . x)) 'or' (x . 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' (x . x) is V39() boolean set
'not' ('not' (c . x)) is V39() boolean set
('not' ('not' (c . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (c . x))) '&' ('not' (x . x))) is V39() boolean set
(((x . x) 'or' ('not' (a . x))) '&' (('not' (b . x)) 'or' (x . x))) '&' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
(a . x) 'or' (b . x) is V39() boolean set
'not' (a . x) is V39() boolean set
'not' (b . x) is V39() boolean set
('not' (a . x)) '&' ('not' (b . x)) is V39() boolean set
'not' (('not' (a . x)) '&' ('not' (b . x))) is V39() boolean set
'not' ((a . x) 'or' (b . x)) is V39() boolean set
('not' ((a . x) 'or' (b . x))) 'or' (x . x) is V39() boolean set
'not' ('not' ((a . x) 'or' (b . x))) is V39() boolean set
('not' ('not' ((a . x) 'or' (b . x)))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' ((a . x) 'or' (b . x)))) '&' ('not' (x . x))) is V39() boolean set
(('not' ((a . x) 'or' (b . x))) 'or' (x . x)) '&' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
(a 'or' b) . x is V39() boolean Element of BOOLEAN
'not' ((a 'or' b) . x) is V39() boolean Element of BOOLEAN
(x . x) 'or' ('not' ((a 'or' b) . x)) is V39() boolean set
'not' ('not' ((a 'or' b) . x)) is V39() boolean set
('not' (x . x)) '&' ('not' ('not' ((a 'or' b) . x))) is V39() boolean set
'not' (('not' (x . x)) '&' ('not' ('not' ((a 'or' b) . x)))) is V39() boolean set
((x . x) 'or' ('not' ((a 'or' b) . x))) '&' (('not' (c . x)) 'or' (x . x)) is V39() boolean set
((a 'or' b) . x) 'or' (c . x) is V39() boolean set
'not' ((a 'or' b) . x) is V39() boolean set
'not' (c . x) is V39() boolean set
('not' ((a 'or' b) . x)) '&' ('not' (c . x)) is V39() boolean set
'not' (('not' ((a 'or' b) . x)) '&' ('not' (c . x))) is V39() boolean set
'not' (((a 'or' b) . x) 'or' (c . x)) is V39() boolean set
('not' (((a 'or' b) . x) 'or' (c . x))) 'or' (x . x) is V39() boolean set
'not' ('not' (((a 'or' b) . x) 'or' (c . x))) is V39() boolean set
('not' ('not' (((a 'or' b) . x) 'or' (c . x)))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (((a 'or' b) . x) 'or' (c . x)))) '&' ('not' (x . x))) is V39() boolean set
((a 'or' b) 'or' c) . x is V39() boolean Element of BOOLEAN
'not' (((a 'or' b) 'or' c) . x) is V39() boolean Element of BOOLEAN
('not' (((a 'or' b) 'or' c) . x)) 'or' (x . x) is V39() boolean set
'not' ('not' (((a 'or' b) 'or' c) . x)) is V39() boolean set
('not' ('not' (((a 'or' b) 'or' c) . x))) '&' ('not' (x . x)) is V39() boolean set
'not' (('not' ('not' (((a 'or' b) 'or' c) . x))) '&' ('not' (x . x))) is V39() boolean set
(((a 'or' b) 'or' c) 'imp' x) . x 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' c) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

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

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

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

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

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

((() 'or' b) '&' (() 'or' c)) '&' (() 'or' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
() '&' (() 'or' 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))
(() '&' (() 'or' c)) 'or' (b '&' (() 'or' c)) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))
((() '&' (() 'or' c)) 'or' (b '&' (() 'or' c))) '&' (() 'or' a) is Function-like quasi_total boolean-valued Element of K10(K11(Y,BOOLEAN))

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

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

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

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

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

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

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

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