:: BVFUNC_9 semantic presentation

K92() is Element of K19(K88())
K88() is set
K19(K88()) is set
K89() is set
K90() is set
K91() is set
K20(K89(),K89()) is set
K19(K20(K89(),K89())) is set
K20(K20(K89(),K89()),K89()) is set
K19(K20(K20(K89(),K89()),K89())) is set
K20(K88(),K88()) is set
K19(K20(K88(),K88())) is set
K20(K20(K88(),K88()),K88()) is set
K19(K20(K20(K88(),K88()),K88())) is set
K20(K90(),K90()) is set
K19(K20(K90(),K90())) is set
K20(K20(K90(),K90()),K90()) is set
K19(K20(K20(K90(),K90()),K90())) is set
K20(K91(),K91()) is set
K19(K20(K91(),K91())) is set
K20(K20(K91(),K91()),K91()) is set
K19(K20(K20(K91(),K91()),K91())) is set
K20(K92(),K92()) is set
K20(K20(K92(),K92()),K92()) is set
K19(K20(K20(K92(),K92()),K92())) is set
K87() is set
K19(K87()) is set
K19(K92()) is set
BOOLEAN is non empty set
1 is non empty set
TRUE is V27() boolean Element of BOOLEAN
FALSE is V27() boolean Element of BOOLEAN
K93() is empty V47() Element of K92()
FALSE is V27() boolean set
TRUE is V27() boolean set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is Element of Y
(a '&' b) . c is V27() boolean Element of BOOLEAN
a . c is V27() boolean Element of BOOLEAN
b . c is V27() boolean Element of BOOLEAN
(a . c) '&' (b . c) is V27() boolean Element of BOOLEAN
K97((a . c),(b . c)) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(c '&' b) '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((c '&' b) '&' a) 'imp' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' c) '&' b) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(d '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((d '&' c) '&' b) '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((d '&' c) '&' b) '&' a) 'imp' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(d '&' c) '&' (b '&' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' c) '&' d) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' c) '&' d) '&' b) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' c) '&' b) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' b) '&' c) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b2 '&' d) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b2 '&' d) '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((b2 '&' d) '&' c) '&' b) '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((b2 '&' d) '&' c) '&' b) '&' a) 'imp' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c '&' (b '&' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b2 '&' d) '&' (c '&' (b '&' a)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b2 '&' d) '&' c) '&' (b '&' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' c) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' c) '&' d) '&' b2) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' c) '&' d) '&' b2) '&' b) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' c) '&' b) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' c) '&' b) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' c) '&' d) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' c) '&' d) '&' b) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' b) '&' c) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' b) '&' c) '&' d) '&' b2) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(c2 '&' b2) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((c2 '&' b2) '&' d) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((c2 '&' b2) '&' d) '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((c2 '&' b2) '&' d) '&' c) '&' b) '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((c2 '&' b2) '&' d) '&' c) '&' b) '&' a) 'imp' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c '&' (b '&' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' (c '&' (b '&' a)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(c2 '&' b2) '&' (d '&' (c '&' (b '&' a))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((c2 '&' b2) '&' d) '&' (c '&' (b '&' a)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((c2 '&' b2) '&' d) '&' c) '&' (b '&' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((c2 '&' b2) '&' d) '&' c) '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((c2 '&' b2) '&' d) '&' c) '&' a) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((c2 '&' b2) '&' d) '&' c) '&' a) '&' b) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' b) '&' c) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' b) '&' c) '&' d) '&' b2) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a '&' b) '&' c) '&' d) '&' b2) '&' c2) '&' g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
g '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(g '&' c2) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((g '&' c2) '&' b2) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((g '&' c2) '&' b2) '&' d) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((g '&' c2) '&' b2) '&' d) '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((g '&' c2) '&' b2) '&' d) '&' c) '&' b) '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((g '&' c2) '&' b2) '&' d) '&' c) '&' b) '&' a) 'imp' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c '&' (b '&' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' (c '&' (b '&' a)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' (d '&' (c '&' (b '&' a))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(g '&' c2) '&' (b2 '&' (d '&' (c '&' (b '&' a)))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((g '&' c2) '&' b2) '&' (d '&' (c '&' (b '&' a))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((g '&' c2) '&' b2) '&' d) '&' (c '&' (b '&' a)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((g '&' c2) '&' b2) '&' d) '&' c) '&' (b '&' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' g) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' g) '&' c2) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' g) '&' c2) '&' b2) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' g) '&' c2) '&' b2) '&' d) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a '&' g) '&' c2) '&' b2) '&' d) '&' c) '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a '&' g) '&' c2) '&' b2) '&' d) '&' c) '&' b) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' (c '&' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' (c '&' b)) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' (c '&' b)) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' (c '&' b)) '&' d) '&' b2) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' (c '&' b)) '&' d) '&' b2) '&' c2) '&' g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' (c '&' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' (d '&' (c '&' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' (d '&' (c '&' b))) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' (d '&' (c '&' b))) '&' b2) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' (d '&' (c '&' b))) '&' b2) '&' c2) '&' g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' (d '&' (c '&' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' (b2 '&' (d '&' (c '&' b))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' (b2 '&' (d '&' (c '&' b)))) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' (b2 '&' (d '&' (c '&' b)))) '&' c2) '&' g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 '&' (b2 '&' (d '&' (c '&' b))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' (c2 '&' (b2 '&' (d '&' (c '&' b)))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' (c2 '&' (b2 '&' (d '&' (c '&' b))))) '&' g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' g) '&' (c2 '&' (b2 '&' (d '&' (c '&' b)))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' g) '&' c2) '&' (b2 '&' (d '&' (c '&' b))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' g) '&' c2) '&' b2) '&' (d '&' (c '&' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' g) '&' c2) '&' b2) '&' d) '&' (c '&' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) '&' (b 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
((a 'or' b) '&' (b 'imp' c)) . d is V27() boolean Element of BOOLEAN
(a 'or' c) . d is V27() boolean Element of BOOLEAN
(a 'or' b) . d is V27() boolean Element of BOOLEAN
(b 'imp' c) . d is V27() boolean Element of BOOLEAN
((a 'or' b) . d) '&' ((b 'imp' c) . d) is V27() boolean Element of BOOLEAN
K97(((a 'or' b) . d),((b 'imp' c) . d)) is set
'not' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' b) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' b) 'or' c) . d is V27() boolean Element of BOOLEAN
((a 'or' b) . d) '&' ((('not' b) 'or' c) . d) is V27() boolean Element of BOOLEAN
K97(((a 'or' b) . d),((('not' b) 'or' c) . d)) is set
('not' b) . d is V27() boolean Element of BOOLEAN
c . d is V27() boolean Element of BOOLEAN
(('not' b) . d) 'or' (c . d) is V27() boolean set
'not' (('not' b) . d) is V27() boolean set
K100(1,(('not' b) . d)) is set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' (('not' b) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (('not' b) . d)),('not' (c . d))) is set
'not' (('not' (('not' b) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (('not' b) . d)) '&' ('not' (c . d)))) is set
((a 'or' b) . d) '&' ((('not' b) . d) 'or' (c . d)) is V27() boolean set
K97(((a 'or' b) . d),((('not' b) . d) 'or' (c . d))) is set
a . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(a . d) 'or' (b . d) is V27() boolean set
'not' (a . d) is V27() boolean set
K100(1,(a . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (a . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (a . d)),('not' (b . d))) is set
'not' (('not' (a . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (a . d)) '&' ('not' (b . d)))) is set
((a . d) 'or' (b . d)) '&' ((('not' b) . d) 'or' (c . d)) is V27() boolean set
K97(((a . d) 'or' (b . d)),((('not' b) . d) 'or' (c . d))) is set
(a . d) 'or' (c . d) is V27() boolean set
('not' (a . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (a . d)),('not' (c . d))) is set
'not' (('not' (a . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (a . d)) '&' ('not' (c . d)))) is set
'not' (b . d) is V27() boolean Element of BOOLEAN
(b . d) '&' ('not' (b . d)) is V27() boolean Element of BOOLEAN
K97((b . d),('not' (b . d))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' (a 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is Element of Y
(a '&' (a 'imp' b)) . c is V27() boolean Element of BOOLEAN
b . c is V27() boolean Element of BOOLEAN
a . c is V27() boolean Element of BOOLEAN
(a 'imp' b) . c is V27() boolean Element of BOOLEAN
(a . c) '&' ((a 'imp' b) . c) is V27() boolean Element of BOOLEAN
K97((a . c),((a 'imp' b) . c)) is set
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . c is V27() boolean Element of BOOLEAN
(a . c) '&' ((('not' a) 'or' b) . c) is V27() boolean Element of BOOLEAN
K97((a . c),((('not' a) 'or' b) . c)) is set
('not' a) . c is V27() boolean Element of BOOLEAN
(('not' a) . c) 'or' (b . c) is V27() boolean set
'not' (('not' a) . c) is V27() boolean set
K100(1,(('not' a) . c)) is set
'not' (b . c) is V27() boolean set
K100(1,(b . c)) is set
('not' (('not' a) . c)) '&' ('not' (b . c)) is V27() boolean set
K97(('not' (('not' a) . c)),('not' (b . c))) is set
'not' (('not' (('not' a) . c)) '&' ('not' (b . c))) is V27() boolean set
K100(1,(('not' (('not' a) . c)) '&' ('not' (b . c)))) is set
(a . c) '&' ((('not' a) . c) 'or' (b . c)) is V27() boolean set
K97((a . c),((('not' a) . c) 'or' (b . c))) is set
(a . c) '&' (('not' a) . c) is V27() boolean Element of BOOLEAN
K97((a . c),(('not' a) . c)) is set
(a . c) '&' (b . c) is V27() boolean Element of BOOLEAN
K97((a . c),(b . c)) is set
((a . c) '&' (('not' a) . c)) 'or' ((a . c) '&' (b . c)) is V27() boolean set
'not' ((a . c) '&' (('not' a) . c)) is V27() boolean set
K100(1,((a . c) '&' (('not' a) . c))) is set
'not' ((a . c) '&' (b . c)) is V27() boolean set
K100(1,((a . c) '&' (b . c))) is set
('not' ((a . c) '&' (('not' a) . c))) '&' ('not' ((a . c) '&' (b . c))) is V27() boolean set
K97(('not' ((a . c) '&' (('not' a) . c))),('not' ((a . c) '&' (b . c)))) is set
'not' (('not' ((a . c) '&' (('not' a) . c))) '&' ('not' ((a . c) '&' (b . c)))) is V27() boolean set
K100(1,(('not' ((a . c) '&' (('not' a) . c))) '&' ('not' ((a . c) '&' (b . c))))) is set
'not' (a . c) is V27() boolean Element of BOOLEAN
K100(1,(a . c)) is set
(a . c) '&' ('not' (a . c)) is V27() boolean Element of BOOLEAN
K97((a . c),('not' (a . c))) is set
((a . c) '&' ('not' (a . c))) 'or' ((a . c) '&' (b . c)) is V27() boolean set
'not' ((a . c) '&' ('not' (a . c))) is V27() boolean set
K100(1,((a . c) '&' ('not' (a . c)))) is set
('not' ((a . c) '&' ('not' (a . c)))) '&' ('not' ((a . c) '&' (b . c))) is V27() boolean set
K97(('not' ((a . c) '&' ('not' (a . c)))),('not' ((a . c) '&' (b . c)))) is set
'not' (('not' ((a . c) '&' ('not' (a . c)))) '&' ('not' ((a . c) '&' (b . c)))) is V27() boolean set
K100(1,(('not' ((a . c) '&' ('not' (a . c)))) '&' ('not' ((a . c) '&' (b . c))))) is set
FALSE 'or' ((a . c) '&' (b . c)) is V27() boolean set
'not' FALSE is V27() boolean set
K100(1,FALSE) is set
('not' FALSE) '&' ('not' ((a . c) '&' (b . c))) is V27() boolean set
K97(('not' FALSE),('not' ((a . c) '&' (b . c)))) is set
'not' (('not' FALSE) '&' ('not' ((a . c) '&' (b . c)))) is V27() boolean set
K100(1,(('not' FALSE) '&' ('not' ((a . c) '&' (b . c))))) is set
FALSE '&' (a . c) is V27() boolean Element of BOOLEAN
K97(FALSE,(a . c)) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is Element of Y
((a 'imp' b) '&' ('not' b)) . c is V27() boolean Element of BOOLEAN
('not' a) . c is V27() boolean Element of BOOLEAN
b . c is V27() boolean Element of BOOLEAN
(a 'imp' b) . c is V27() boolean Element of BOOLEAN
('not' b) . c is V27() boolean Element of BOOLEAN
((a 'imp' b) . c) '&' (('not' b) . c) is V27() boolean Element of BOOLEAN
K97(((a 'imp' b) . c),(('not' b) . c)) is set
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . c is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . c) '&' (('not' b) . c) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . c),(('not' b) . c)) is set
(('not' a) . c) 'or' (b . c) is V27() boolean set
'not' (('not' a) . c) is V27() boolean set
K100(1,(('not' a) . c)) is set
'not' (b . c) is V27() boolean set
K100(1,(b . c)) is set
('not' (('not' a) . c)) '&' ('not' (b . c)) is V27() boolean set
K97(('not' (('not' a) . c)),('not' (b . c))) is set
'not' (('not' (('not' a) . c)) '&' ('not' (b . c))) is V27() boolean set
K100(1,(('not' (('not' a) . c)) '&' ('not' (b . c)))) is set
(('not' b) . c) '&' ((('not' a) . c) 'or' (b . c)) is V27() boolean set
K97((('not' b) . c),((('not' a) . c) 'or' (b . c))) is set
(('not' b) . c) '&' (('not' a) . c) is V27() boolean Element of BOOLEAN
K97((('not' b) . c),(('not' a) . c)) is set
(('not' b) . c) '&' (b . c) is V27() boolean Element of BOOLEAN
K97((('not' b) . c),(b . c)) is set
((('not' b) . c) '&' (('not' a) . c)) 'or' ((('not' b) . c) '&' (b . c)) is V27() boolean set
'not' ((('not' b) . c) '&' (('not' a) . c)) is V27() boolean set
K100(1,((('not' b) . c) '&' (('not' a) . c))) is set
'not' ((('not' b) . c) '&' (b . c)) is V27() boolean set
K100(1,((('not' b) . c) '&' (b . c))) is set
('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' ((('not' b) . c) '&' (b . c))) is V27() boolean set
K97(('not' ((('not' b) . c) '&' (('not' a) . c))),('not' ((('not' b) . c) '&' (b . c)))) is set
'not' (('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' ((('not' b) . c) '&' (b . c)))) is V27() boolean set
K100(1,(('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' ((('not' b) . c) '&' (b . c))))) is set
d is V27() boolean set
'not' d is V27() boolean set
K100(1,d) is set
('not' d) '&' d is V27() boolean set
K97(('not' d),d) is set
((('not' b) . c) '&' (('not' a) . c)) 'or' (('not' d) '&' d) is V27() boolean set
'not' (('not' d) '&' d) is V27() boolean set
K100(1,(('not' d) '&' d)) is set
('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' (('not' d) '&' d)) is V27() boolean set
K97(('not' ((('not' b) . c) '&' (('not' a) . c))),('not' (('not' d) '&' d))) is set
'not' (('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' (('not' d) '&' d))) is V27() boolean set
K100(1,(('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' (('not' d) '&' d)))) is set
((('not' b) . c) '&' (('not' a) . c)) 'or' FALSE is V27() boolean set
'not' FALSE is V27() boolean set
K100(1,FALSE) is set
('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' FALSE) is V27() boolean set
K97(('not' ((('not' b) . c) '&' (('not' a) . c))),('not' FALSE)) is set
'not' (('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' FALSE)) is V27() boolean set
K100(1,(('not' ((('not' b) . c) '&' (('not' a) . c))) '&' ('not' FALSE))) is set
FALSE '&' (('not' b) . c) is V27() boolean Element of BOOLEAN
K97(FALSE,(('not' b) . c)) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) '&' ('not' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is Element of Y
((a 'or' b) '&' ('not' a)) . c is V27() boolean Element of BOOLEAN
b . c is V27() boolean Element of BOOLEAN
a . c is V27() boolean Element of BOOLEAN
(a 'or' b) . c is V27() boolean Element of BOOLEAN
('not' a) . c is V27() boolean Element of BOOLEAN
((a 'or' b) . c) '&' (('not' a) . c) is V27() boolean Element of BOOLEAN
K97(((a 'or' b) . c),(('not' a) . c)) is set
(a . c) 'or' (b . c) is V27() boolean set
'not' (a . c) is V27() boolean set
K100(1,(a . c)) is set
'not' (b . c) is V27() boolean set
K100(1,(b . c)) is set
('not' (a . c)) '&' ('not' (b . c)) is V27() boolean set
K97(('not' (a . c)),('not' (b . c))) is set
'not' (('not' (a . c)) '&' ('not' (b . c))) is V27() boolean set
K100(1,(('not' (a . c)) '&' ('not' (b . c)))) is set
(('not' a) . c) '&' ((a . c) 'or' (b . c)) is V27() boolean set
K97((('not' a) . c),((a . c) 'or' (b . c))) is set
(('not' a) . c) '&' (a . c) is V27() boolean Element of BOOLEAN
K97((('not' a) . c),(a . c)) is set
(('not' a) . c) '&' (b . c) is V27() boolean Element of BOOLEAN
K97((('not' a) . c),(b . c)) is set
((('not' a) . c) '&' (a . c)) 'or' ((('not' a) . c) '&' (b . c)) is V27() boolean set
'not' ((('not' a) . c) '&' (a . c)) is V27() boolean set
K100(1,((('not' a) . c) '&' (a . c))) is set
'not' ((('not' a) . c) '&' (b . c)) is V27() boolean set
K100(1,((('not' a) . c) '&' (b . c))) is set
('not' ((('not' a) . c) '&' (a . c))) '&' ('not' ((('not' a) . c) '&' (b . c))) is V27() boolean set
K97(('not' ((('not' a) . c) '&' (a . c))),('not' ((('not' a) . c) '&' (b . c)))) is set
'not' (('not' ((('not' a) . c) '&' (a . c))) '&' ('not' ((('not' a) . c) '&' (b . c)))) is V27() boolean set
K100(1,(('not' ((('not' a) . c) '&' (a . c))) '&' ('not' ((('not' a) . c) '&' (b . c))))) is set
d is V27() boolean set
'not' d is V27() boolean set
K100(1,d) is set
('not' d) '&' d is V27() boolean set
K97(('not' d),d) is set
(('not' d) '&' d) 'or' ((('not' a) . c) '&' (b . c)) is V27() boolean set
'not' (('not' d) '&' d) is V27() boolean set
K100(1,(('not' d) '&' d)) is set
('not' (('not' d) '&' d)) '&' ('not' ((('not' a) . c) '&' (b . c))) is V27() boolean set
K97(('not' (('not' d) '&' d)),('not' ((('not' a) . c) '&' (b . c)))) is set
'not' (('not' (('not' d) '&' d)) '&' ('not' ((('not' a) . c) '&' (b . c)))) is V27() boolean set
K100(1,(('not' (('not' d) '&' d)) '&' ('not' ((('not' a) . c) '&' (b . c))))) is set
FALSE 'or' ((('not' a) . c) '&' (b . c)) is V27() boolean set
'not' FALSE is V27() boolean set
K100(1,FALSE) is set
('not' FALSE) '&' ('not' ((('not' a) . c) '&' (b . c))) is V27() boolean set
K97(('not' FALSE),('not' ((('not' a) . c) '&' (b . c)))) is set
'not' (('not' FALSE) '&' ('not' ((('not' a) . c) '&' (b . c)))) is V27() boolean set
K100(1,(('not' FALSE) '&' ('not' ((('not' a) . c) '&' (b . c))))) is set
FALSE '&' (('not' a) . c) is V27() boolean Element of BOOLEAN
K97(FALSE,(('not' a) . c)) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (('not' a) 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is Element of Y
((a 'imp' b) '&' (('not' a) 'imp' b)) . c is V27() boolean Element of BOOLEAN
b . c is V27() boolean Element of BOOLEAN
a . c is V27() boolean Element of BOOLEAN
(a 'imp' b) . c is V27() boolean Element of BOOLEAN
(('not' a) 'imp' b) . c is V27() boolean Element of BOOLEAN
((a 'imp' b) . c) '&' ((('not' a) 'imp' b) . c) is V27() boolean Element of BOOLEAN
K97(((a 'imp' b) . c),((('not' a) 'imp' b) . c)) is set
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . c is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . c) '&' ((('not' a) 'imp' b) . c) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . c),((('not' a) 'imp' b) . c)) is set
'not' ('not' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' ('not' a)) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' ('not' a)) 'or' b) . c is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . c) '&' ((('not' ('not' a)) 'or' b) . c) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . c),((('not' ('not' a)) 'or' b) . c)) is set
('not' a) . c is V27() boolean Element of BOOLEAN
(('not' a) . c) 'or' (b . c) is V27() boolean set
'not' (('not' a) . c) is V27() boolean set
K100(1,(('not' a) . c)) is set
'not' (b . c) is V27() boolean set
K100(1,(b . c)) is set
('not' (('not' a) . c)) '&' ('not' (b . c)) is V27() boolean set
K97(('not' (('not' a) . c)),('not' (b . c))) is set
'not' (('not' (('not' a) . c)) '&' ('not' (b . c))) is V27() boolean set
K100(1,(('not' (('not' a) . c)) '&' ('not' (b . c)))) is set
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) . c is V27() boolean Element of BOOLEAN
((('not' a) . c) 'or' (b . c)) '&' ((a 'or' b) . c) is V27() boolean set
K97(((('not' a) . c) 'or' (b . c)),((a 'or' b) . c)) is set
(a . c) 'or' (b . c) is V27() boolean set
'not' (a . c) is V27() boolean set
K100(1,(a . c)) is set
('not' (a . c)) '&' ('not' (b . c)) is V27() boolean set
K97(('not' (a . c)),('not' (b . c))) is set
'not' (('not' (a . c)) '&' ('not' (b . c))) is V27() boolean set
K100(1,(('not' (a . c)) '&' ('not' (b . c)))) is set
((('not' a) . c) 'or' (b . c)) '&' ((a . c) 'or' (b . c)) is V27() boolean set
K97(((('not' a) . c) 'or' (b . c)),((a . c) 'or' (b . c))) is set
d is V27() boolean set
'not' d is V27() boolean set
K100(1,d) is set
('not' d) '&' d is V27() boolean set
K97(('not' d),d) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (a 'imp' ('not' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is Element of Y
((a 'imp' b) '&' (a 'imp' ('not' b))) . c is V27() boolean Element of BOOLEAN
('not' a) . c is V27() boolean Element of BOOLEAN
(a 'imp' b) . c is V27() boolean Element of BOOLEAN
(a 'imp' ('not' b)) . c is V27() boolean Element of BOOLEAN
((a 'imp' b) . c) '&' ((a 'imp' ('not' b)) . c) is V27() boolean Element of BOOLEAN
K97(((a 'imp' b) . c),((a 'imp' ('not' b)) . c)) is set
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . c is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . c) '&' ((a 'imp' ('not' b)) . c) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . c),((a 'imp' ('not' b)) . c)) is set
('not' a) 'or' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' ('not' b)) . c is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . c) '&' ((('not' a) 'or' ('not' b)) . c) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . c),((('not' a) 'or' ('not' b)) . c)) is set
b . c is V27() boolean Element of BOOLEAN
(('not' a) . c) 'or' (b . c) is V27() boolean set
'not' (('not' a) . c) is V27() boolean set
K100(1,(('not' a) . c)) is set
'not' (b . c) is V27() boolean set
K100(1,(b . c)) is set
('not' (('not' a) . c)) '&' ('not' (b . c)) is V27() boolean set
K97(('not' (('not' a) . c)),('not' (b . c))) is set
'not' (('not' (('not' a) . c)) '&' ('not' (b . c))) is V27() boolean set
K100(1,(('not' (('not' a) . c)) '&' ('not' (b . c)))) is set
((('not' a) . c) 'or' (b . c)) '&' ((('not' a) 'or' ('not' b)) . c) is V27() boolean set
K97(((('not' a) . c) 'or' (b . c)),((('not' a) 'or' ('not' b)) . c)) is set
('not' b) . c is V27() boolean Element of BOOLEAN
(('not' a) . c) 'or' (('not' b) . c) is V27() boolean set
'not' (('not' b) . c) is V27() boolean set
K100(1,(('not' b) . c)) is set
('not' (('not' a) . c)) '&' ('not' (('not' b) . c)) is V27() boolean set
K97(('not' (('not' a) . c)),('not' (('not' b) . c))) is set
'not' (('not' (('not' a) . c)) '&' ('not' (('not' b) . c))) is V27() boolean set
K100(1,(('not' (('not' a) . c)) '&' ('not' (('not' b) . c)))) is set
((('not' a) . c) 'or' (b . c)) '&' ((('not' a) . c) 'or' (('not' b) . c)) is V27() boolean set
K97(((('not' a) . c) 'or' (b . c)),((('not' a) . c) 'or' (('not' b) . c))) is set
'not' (b . c) is V27() boolean Element of BOOLEAN
(b . c) '&' ('not' (b . c)) is V27() boolean Element of BOOLEAN
K97((b . c),('not' (b . c))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' (b '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
(a 'imp' (b '&' c)) . d is V27() boolean Element of BOOLEAN
(a 'imp' b) . d is V27() boolean Element of BOOLEAN
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' (b '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' (b '&' c)) . d is V27() boolean Element of BOOLEAN
('not' a) . d is V27() boolean Element of BOOLEAN
(b '&' c) . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' ((b '&' c) . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' ((b '&' c) . d) is V27() boolean set
K100(1,((b '&' c) . d)) is set
('not' (('not' a) . d)) '&' ('not' ((b '&' c) . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' ((b '&' c) . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' ((b '&' c) . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' ((b '&' c) . d)))) is set
b . d is V27() boolean Element of BOOLEAN
c . d is V27() boolean Element of BOOLEAN
(b . d) '&' (c . d) is V27() boolean Element of BOOLEAN
K97((b . d),(c . d)) is set
(('not' a) . d) 'or' ((b . d) '&' (c . d)) is V27() boolean set
'not' ((b . d) '&' (c . d)) is V27() boolean set
K100(1,((b . d) '&' (c . d))) is set
('not' (('not' a) . d)) '&' ('not' ((b . d) '&' (c . d))) is V27() boolean set
K97(('not' (('not' a) . d)),('not' ((b . d) '&' (c . d)))) is set
'not' (('not' (('not' a) . d)) '&' ('not' ((b . d) '&' (c . d)))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' ((b . d) '&' (c . d))))) is set
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (b . d) is V27() boolean set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (('not' a) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (b . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (b . d)))) is set
(('not' a) . d) 'or' (c . d) is V27() boolean set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' (('not' a) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (c . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (c . d)))) is set
((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d)) is V27() boolean set
K97(((('not' a) . d) 'or' (b . d)),((('not' a) . d) 'or' (c . d))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
((a 'or' b) 'imp' c) . d is V27() boolean Element of BOOLEAN
(a 'imp' c) . d is V27() boolean Element of BOOLEAN
'not' (a 'or' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a 'or' b)) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' (a 'or' b)) 'or' c) . d is V27() boolean Element of BOOLEAN
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) '&' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) '&' ('not' b)) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((('not' a) '&' ('not' b)) 'or' c) . d is V27() boolean Element of BOOLEAN
(('not' a) '&' ('not' b)) . d is V27() boolean Element of BOOLEAN
c . d is V27() boolean Element of BOOLEAN
((('not' a) '&' ('not' b)) . d) 'or' (c . d) is V27() boolean set
'not' ((('not' a) '&' ('not' b)) . d) is V27() boolean set
K100(1,((('not' a) '&' ('not' b)) . d)) is set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' ((('not' a) '&' ('not' b)) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ((('not' a) '&' ('not' b)) . d)),('not' (c . d))) is set
'not' (('not' ((('not' a) '&' ('not' b)) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ((('not' a) '&' ('not' b)) . d)) '&' ('not' (c . d)))) is set
('not' a) . d is V27() boolean Element of BOOLEAN
('not' b) . d is V27() boolean Element of BOOLEAN
(('not' a) . d) '&' (('not' b) . d) is V27() boolean Element of BOOLEAN
K97((('not' a) . d),(('not' b) . d)) is set
((('not' a) . d) '&' (('not' b) . d)) 'or' (c . d) is V27() boolean set
'not' ((('not' a) . d) '&' (('not' b) . d)) is V27() boolean set
K100(1,((('not' a) . d) '&' (('not' b) . d))) is set
('not' ((('not' a) . d) '&' (('not' b) . d))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ((('not' a) . d) '&' (('not' b) . d))),('not' (c . d))) is set
'not' (('not' ((('not' a) . d) '&' (('not' b) . d))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ((('not' a) . d) '&' (('not' b) . d))) '&' ('not' (c . d)))) is set
('not' a) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' c) . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (c . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
('not' (('not' a) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (c . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (c . d)))) is set
(c . d) 'or' (('not' a) . d) is V27() boolean set
('not' (c . d)) '&' ('not' (('not' a) . d)) is V27() boolean set
K97(('not' (c . d)),('not' (('not' a) . d))) is set
'not' (('not' (c . d)) '&' ('not' (('not' a) . d))) is V27() boolean set
K100(1,(('not' (c . d)) '&' ('not' (('not' a) . d)))) is set
(c . d) 'or' (('not' b) . d) is V27() boolean set
'not' (('not' b) . d) is V27() boolean set
K100(1,(('not' b) . d)) is set
('not' (c . d)) '&' ('not' (('not' b) . d)) is V27() boolean set
K97(('not' (c . d)),('not' (('not' b) . d))) is set
'not' (('not' (c . d)) '&' ('not' (('not' b) . d))) is V27() boolean set
K100(1,(('not' (c . d)) '&' ('not' (('not' b) . d)))) is set
((c . d) 'or' (('not' a) . d)) '&' ((c . d) 'or' (('not' b) . d)) is V27() boolean set
K97(((c . d) 'or' (('not' a) . d)),((c . d) 'or' (('not' b) . d))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
(a 'imp' b) . d is V27() boolean Element of BOOLEAN
((a '&' c) 'imp' b) . d is V27() boolean Element of BOOLEAN
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . d is V27() boolean Element of BOOLEAN
('not' a) . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (b . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (('not' a) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (b . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (b . d)))) is set
'not' (a '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a '&' c)) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' (a '&' c)) 'or' b) . d is V27() boolean Element of BOOLEAN
('not' (a '&' c)) . d is V27() boolean Element of BOOLEAN
(('not' (a '&' c)) . d) 'or' (b . d) is V27() boolean set
'not' (('not' (a '&' c)) . d) is V27() boolean set
K100(1,(('not' (a '&' c)) . d)) is set
('not' (('not' (a '&' c)) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' (a '&' c)) . d)),('not' (b . d))) is set
'not' (('not' (('not' (a '&' c)) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' (a '&' c)) . d)) '&' ('not' (b . d)))) is set
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' ('not' c)) . d is V27() boolean Element of BOOLEAN
((('not' a) 'or' ('not' c)) . d) 'or' (b . d) is V27() boolean set
'not' ((('not' a) 'or' ('not' c)) . d) is V27() boolean set
K100(1,((('not' a) 'or' ('not' c)) . d)) is set
('not' ((('not' a) 'or' ('not' c)) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' ((('not' a) 'or' ('not' c)) . d)),('not' (b . d))) is set
'not' (('not' ((('not' a) 'or' ('not' c)) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' ((('not' a) 'or' ('not' c)) . d)) '&' ('not' (b . d)))) is set
('not' c) . d is V27() boolean Element of BOOLEAN
(('not' c) . d) 'or' (('not' a) . d) is V27() boolean set
'not' (('not' c) . d) is V27() boolean set
K100(1,(('not' c) . d)) is set
('not' (('not' c) . d)) '&' ('not' (('not' a) . d)) is V27() boolean set
K97(('not' (('not' c) . d)),('not' (('not' a) . d))) is set
'not' (('not' (('not' c) . d)) '&' ('not' (('not' a) . d))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' (('not' a) . d)))) is set
((('not' c) . d) 'or' (('not' a) . d)) 'or' (b . d) is V27() boolean set
'not' ((('not' c) . d) 'or' (('not' a) . d)) is V27() boolean set
K100(1,((('not' c) . d) 'or' (('not' a) . d))) is set
('not' ((('not' c) . d) 'or' (('not' a) . d))) '&' ('not' (b . d)) is V27() boolean set
K97(('not' ((('not' c) . d) 'or' (('not' a) . d))),('not' (b . d))) is set
'not' (('not' ((('not' c) . d) 'or' (('not' a) . d))) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' ((('not' c) . d) 'or' (('not' a) . d))) '&' ('not' (b . d)))) is set
(('not' c) . d) 'or' ((('not' a) . d) 'or' (b . d)) is V27() boolean set
'not' ((('not' a) . d) 'or' (b . d)) is V27() boolean set
K100(1,((('not' a) . d) 'or' (b . d))) is set
('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' (b . d))) is V27() boolean set
K97(('not' (('not' c) . d)),('not' ((('not' a) . d) 'or' (b . d)))) is set
'not' (('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' (b . d)))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' (b . d))))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) 'imp' (b '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
(a 'imp' b) . d is V27() boolean Element of BOOLEAN
((a '&' c) 'imp' (b '&' c)) . d is V27() boolean Element of BOOLEAN
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . d is V27() boolean Element of BOOLEAN
('not' a) . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (b . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (('not' a) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (b . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (b . d)))) is set
'not' (a '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a '&' c)) 'or' (b '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' (a '&' c)) 'or' (b '&' c)) . d is V27() boolean Element of BOOLEAN
('not' (a '&' c)) . d is V27() boolean Element of BOOLEAN
(b '&' c) . d is V27() boolean Element of BOOLEAN
(('not' (a '&' c)) . d) 'or' ((b '&' c) . d) is V27() boolean set
'not' (('not' (a '&' c)) . d) is V27() boolean set
K100(1,(('not' (a '&' c)) . d)) is set
'not' ((b '&' c) . d) is V27() boolean set
K100(1,((b '&' c) . d)) is set
('not' (('not' (a '&' c)) . d)) '&' ('not' ((b '&' c) . d)) is V27() boolean set
K97(('not' (('not' (a '&' c)) . d)),('not' ((b '&' c) . d))) is set
'not' (('not' (('not' (a '&' c)) . d)) '&' ('not' ((b '&' c) . d))) is V27() boolean set
K100(1,(('not' (('not' (a '&' c)) . d)) '&' ('not' ((b '&' c) . d)))) is set
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' ('not' c)) . d is V27() boolean Element of BOOLEAN
((('not' a) 'or' ('not' c)) . d) 'or' ((b '&' c) . d) is V27() boolean set
'not' ((('not' a) 'or' ('not' c)) . d) is V27() boolean set
K100(1,((('not' a) 'or' ('not' c)) . d)) is set
('not' ((('not' a) 'or' ('not' c)) . d)) '&' ('not' ((b '&' c) . d)) is V27() boolean set
K97(('not' ((('not' a) 'or' ('not' c)) . d)),('not' ((b '&' c) . d))) is set
'not' (('not' ((('not' a) 'or' ('not' c)) . d)) '&' ('not' ((b '&' c) . d))) is V27() boolean set
K100(1,(('not' ((('not' a) 'or' ('not' c)) . d)) '&' ('not' ((b '&' c) . d)))) is set
('not' c) . d is V27() boolean Element of BOOLEAN
(('not' c) . d) 'or' (('not' a) . d) is V27() boolean set
'not' (('not' c) . d) is V27() boolean set
K100(1,(('not' c) . d)) is set
('not' (('not' c) . d)) '&' ('not' (('not' a) . d)) is V27() boolean set
K97(('not' (('not' c) . d)),('not' (('not' a) . d))) is set
'not' (('not' (('not' c) . d)) '&' ('not' (('not' a) . d))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' (('not' a) . d)))) is set
((('not' c) . d) 'or' (('not' a) . d)) 'or' ((b '&' c) . d) is V27() boolean set
'not' ((('not' c) . d) 'or' (('not' a) . d)) is V27() boolean set
K100(1,((('not' c) . d) 'or' (('not' a) . d))) is set
('not' ((('not' c) . d) 'or' (('not' a) . d))) '&' ('not' ((b '&' c) . d)) is V27() boolean set
K97(('not' ((('not' c) . d) 'or' (('not' a) . d))),('not' ((b '&' c) . d))) is set
'not' (('not' ((('not' c) . d) 'or' (('not' a) . d))) '&' ('not' ((b '&' c) . d))) is V27() boolean set
K100(1,(('not' ((('not' c) . d) 'or' (('not' a) . d))) '&' ('not' ((b '&' c) . d)))) is set
(('not' a) . d) 'or' ((b '&' c) . d) is V27() boolean set
('not' (('not' a) . d)) '&' ('not' ((b '&' c) . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' ((b '&' c) . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' ((b '&' c) . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' ((b '&' c) . d)))) is set
(('not' c) . d) 'or' ((('not' a) . d) 'or' ((b '&' c) . d)) is V27() boolean set
'not' ((('not' a) . d) 'or' ((b '&' c) . d)) is V27() boolean set
K100(1,((('not' a) . d) 'or' ((b '&' c) . d))) is set
('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' ((b '&' c) . d))) is V27() boolean set
K97(('not' (('not' c) . d)),('not' ((('not' a) . d) 'or' ((b '&' c) . d)))) is set
'not' (('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' ((b '&' c) . d)))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' ((b '&' c) . d))))) is set
c . d is V27() boolean Element of BOOLEAN
(b . d) '&' (c . d) is V27() boolean Element of BOOLEAN
K97((b . d),(c . d)) is set
(('not' a) . d) 'or' ((b . d) '&' (c . d)) is V27() boolean set
'not' ((b . d) '&' (c . d)) is V27() boolean set
K100(1,((b . d) '&' (c . d))) is set
('not' (('not' a) . d)) '&' ('not' ((b . d) '&' (c . d))) is V27() boolean set
K97(('not' (('not' a) . d)),('not' ((b . d) '&' (c . d)))) is set
'not' (('not' (('not' a) . d)) '&' ('not' ((b . d) '&' (c . d)))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' ((b . d) '&' (c . d))))) is set
(('not' c) . d) 'or' ((('not' a) . d) 'or' ((b . d) '&' (c . d))) is V27() boolean set
'not' ((('not' a) . d) 'or' ((b . d) '&' (c . d))) is V27() boolean set
K100(1,((('not' a) . d) 'or' ((b . d) '&' (c . d)))) is set
('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' ((b . d) '&' (c . d)))) is V27() boolean set
K97(('not' (('not' c) . d)),('not' ((('not' a) . d) 'or' ((b . d) '&' (c . d))))) is set
'not' (('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' ((b . d) '&' (c . d))))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' ((('not' a) . d) 'or' ((b . d) '&' (c . d)))))) is set
(('not' a) . d) 'or' (c . d) is V27() boolean set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' (('not' a) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (c . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (c . d)))) is set
((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d)) is V27() boolean set
K97(((('not' a) . d) 'or' (b . d)),((('not' a) . d) 'or' (c . d))) is set
(('not' c) . d) 'or' (((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d))) is V27() boolean set
'not' (((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d))) is V27() boolean set
K100(1,(((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d)))) is set
('not' (('not' c) . d)) '&' ('not' (((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d)))) is V27() boolean set
K97(('not' (('not' c) . d)),('not' (((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d))))) is set
'not' (('not' (('not' c) . d)) '&' ('not' (((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d))))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' (((('not' a) . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d)))))) is set
(('not' c) . d) 'or' (c . d) is V27() boolean set
('not' (('not' c) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (('not' c) . d)),('not' (c . d))) is set
'not' (('not' (('not' c) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' (c . d)))) is set
((('not' c) . d) 'or' (c . d)) 'or' (('not' a) . d) is V27() boolean set
'not' ((('not' c) . d) 'or' (c . d)) is V27() boolean set
K100(1,((('not' c) . d) 'or' (c . d))) is set
('not' ((('not' c) . d) 'or' (c . d))) '&' ('not' (('not' a) . d)) is V27() boolean set
K97(('not' ((('not' c) . d) 'or' (c . d))),('not' (('not' a) . d))) is set
'not' (('not' ((('not' c) . d) 'or' (c . d))) '&' ('not' (('not' a) . d))) is V27() boolean set
K100(1,(('not' ((('not' c) . d) 'or' (c . d))) '&' ('not' (('not' a) . d)))) is set
'not' (c . d) is V27() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V27() boolean set
'not' ('not' (c . d)) is V27() boolean set
K100(1,('not' (c . d))) is set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ('not' (c . d))),('not' (c . d))) is set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ('not' (c . d))) '&' ('not' (c . d)))) is set
(('not' (c . d)) 'or' (c . d)) 'or' (('not' a) . d) is V27() boolean set
'not' (('not' (c . d)) 'or' (c . d)) is V27() boolean set
K100(1,(('not' (c . d)) 'or' (c . d))) is set
('not' (('not' (c . d)) 'or' (c . d))) '&' ('not' (('not' a) . d)) is V27() boolean set
K97(('not' (('not' (c . d)) 'or' (c . d))),('not' (('not' a) . d))) is set
'not' (('not' (('not' (c . d)) 'or' (c . d))) '&' ('not' (('not' a) . d))) is V27() boolean set
K100(1,(('not' (('not' (c . d)) 'or' (c . d))) '&' ('not' (('not' a) . d)))) is set
TRUE 'or' (('not' a) . d) is V27() boolean set
'not' TRUE is V27() boolean set
K100(1,TRUE) is set
('not' TRUE) '&' ('not' (('not' a) . d)) is V27() boolean set
K97(('not' TRUE),('not' (('not' a) . d))) is set
'not' (('not' TRUE) '&' ('not' (('not' a) . d))) is V27() boolean set
K100(1,(('not' TRUE) '&' ('not' (('not' a) . d)))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' (b 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
(a 'imp' b) . d is V27() boolean Element of BOOLEAN
(a 'imp' (b 'or' c)) . d is V27() boolean Element of BOOLEAN
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . d is V27() boolean Element of BOOLEAN
('not' a) . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (b . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (('not' a) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (b . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (b . d)))) is set
('not' a) 'or' (b 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' (b 'or' c)) . d is V27() boolean Element of BOOLEAN
(b 'or' c) . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' ((b 'or' c) . d) is V27() boolean set
'not' ((b 'or' c) . d) is V27() boolean set
K100(1,((b 'or' c) . d)) is set
('not' (('not' a) . d)) '&' ('not' ((b 'or' c) . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' ((b 'or' c) . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' ((b 'or' c) . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' ((b 'or' c) . d)))) is set
c . d is V27() boolean Element of BOOLEAN
(b . d) 'or' (c . d) is V27() boolean set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' (b . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (b . d)),('not' (c . d))) is set
'not' (('not' (b . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' (c . d)))) is set
(('not' a) . d) 'or' ((b . d) 'or' (c . d)) is V27() boolean set
'not' ((b . d) 'or' (c . d)) is V27() boolean set
K100(1,((b . d) 'or' (c . d))) is set
('not' (('not' a) . d)) '&' ('not' ((b . d) 'or' (c . d))) is V27() boolean set
K97(('not' (('not' a) . d)),('not' ((b . d) 'or' (c . d)))) is set
'not' (('not' (('not' a) . d)) '&' ('not' ((b . d) 'or' (c . d)))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' ((b . d) 'or' (c . d))))) is set
((('not' a) . d) 'or' (b . d)) 'or' (c . d) is V27() boolean set
'not' ((('not' a) . d) 'or' (b . d)) is V27() boolean set
K100(1,((('not' a) . d) 'or' (b . d))) is set
('not' ((('not' a) . d) 'or' (b . d))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ((('not' a) . d) 'or' (b . d))),('not' (c . d))) is set
'not' (('not' ((('not' a) . d) 'or' (b . d))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ((('not' a) . d) 'or' (b . d))) '&' ('not' (c . d)))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' c) 'imp' (b 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
(a 'imp' b) . d is V27() boolean Element of BOOLEAN
((a 'or' c) 'imp' (b 'or' c)) . d is V27() boolean Element of BOOLEAN
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . d is V27() boolean Element of BOOLEAN
('not' a) . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (b . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (('not' a) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (b . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (b . d)))) is set
'not' (a 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a 'or' c)) 'or' (b 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' (a 'or' c)) 'or' (b 'or' c)) . d is V27() boolean Element of BOOLEAN
('not' (a 'or' c)) . d is V27() boolean Element of BOOLEAN
(b 'or' c) . d is V27() boolean Element of BOOLEAN
(('not' (a 'or' c)) . d) 'or' ((b 'or' c) . d) is V27() boolean set
'not' (('not' (a 'or' c)) . d) is V27() boolean set
K100(1,(('not' (a 'or' c)) . d)) is set
'not' ((b 'or' c) . d) is V27() boolean set
K100(1,((b 'or' c) . d)) is set
('not' (('not' (a 'or' c)) . d)) '&' ('not' ((b 'or' c) . d)) is V27() boolean set
K97(('not' (('not' (a 'or' c)) . d)),('not' ((b 'or' c) . d))) is set
'not' (('not' (('not' (a 'or' c)) . d)) '&' ('not' ((b 'or' c) . d))) is V27() boolean set
K100(1,(('not' (('not' (a 'or' c)) . d)) '&' ('not' ((b 'or' c) . d)))) is set
c . d is V27() boolean Element of BOOLEAN
(b . d) 'or' (c . d) is V27() boolean set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' (b . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (b . d)),('not' (c . d))) is set
'not' (('not' (b . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' (c . d)))) is set
(('not' (a 'or' c)) . d) 'or' ((b . d) 'or' (c . d)) is V27() boolean set
'not' ((b . d) 'or' (c . d)) is V27() boolean set
K100(1,((b . d) 'or' (c . d))) is set
('not' (('not' (a 'or' c)) . d)) '&' ('not' ((b . d) 'or' (c . d))) is V27() boolean set
K97(('not' (('not' (a 'or' c)) . d)),('not' ((b . d) 'or' (c . d)))) is set
'not' (('not' (('not' (a 'or' c)) . d)) '&' ('not' ((b . d) 'or' (c . d)))) is V27() boolean set
K100(1,(('not' (('not' (a 'or' c)) . d)) '&' ('not' ((b . d) 'or' (c . d))))) is set
(('not' (a 'or' c)) . d) 'or' (b . d) is V27() boolean set
('not' (('not' (a 'or' c)) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' (a 'or' c)) . d)),('not' (b . d))) is set
'not' (('not' (('not' (a 'or' c)) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' (a 'or' c)) . d)) '&' ('not' (b . d)))) is set
((('not' (a 'or' c)) . d) 'or' (b . d)) 'or' (c . d) is V27() boolean set
'not' ((('not' (a 'or' c)) . d) 'or' (b . d)) is V27() boolean set
K100(1,((('not' (a 'or' c)) . d) 'or' (b . d))) is set
('not' ((('not' (a 'or' c)) . d) 'or' (b . d))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ((('not' (a 'or' c)) . d) 'or' (b . d))),('not' (c . d))) is set
'not' (('not' ((('not' (a 'or' c)) . d) 'or' (b . d))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ((('not' (a 'or' c)) . d) 'or' (b . d))) '&' ('not' (c . d)))) is set
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) '&' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) '&' ('not' c)) . d is V27() boolean Element of BOOLEAN
((('not' a) '&' ('not' c)) . d) 'or' (b . d) is V27() boolean set
'not' ((('not' a) '&' ('not' c)) . d) is V27() boolean set
K100(1,((('not' a) '&' ('not' c)) . d)) is set
('not' ((('not' a) '&' ('not' c)) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' ((('not' a) '&' ('not' c)) . d)),('not' (b . d))) is set
'not' (('not' ((('not' a) '&' ('not' c)) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' ((('not' a) '&' ('not' c)) . d)) '&' ('not' (b . d)))) is set
(((('not' a) '&' ('not' c)) . d) 'or' (b . d)) 'or' (c . d) is V27() boolean set
'not' (((('not' a) '&' ('not' c)) . d) 'or' (b . d)) is V27() boolean set
K100(1,(((('not' a) '&' ('not' c)) . d) 'or' (b . d))) is set
('not' (((('not' a) '&' ('not' c)) . d) 'or' (b . d))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (((('not' a) '&' ('not' c)) . d) 'or' (b . d))),('not' (c . d))) is set
'not' (('not' (((('not' a) '&' ('not' c)) . d) 'or' (b . d))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (((('not' a) '&' ('not' c)) . d) 'or' (b . d))) '&' ('not' (c . d)))) is set
('not' c) . d is V27() boolean Element of BOOLEAN
(('not' a) . d) '&' (('not' c) . d) is V27() boolean Element of BOOLEAN
K97((('not' a) . d),(('not' c) . d)) is set
(b . d) 'or' ((('not' a) . d) '&' (('not' c) . d)) is V27() boolean set
'not' ((('not' a) . d) '&' (('not' c) . d)) is V27() boolean set
K100(1,((('not' a) . d) '&' (('not' c) . d))) is set
('not' (b . d)) '&' ('not' ((('not' a) . d) '&' (('not' c) . d))) is V27() boolean set
K97(('not' (b . d)),('not' ((('not' a) . d) '&' (('not' c) . d)))) is set
'not' (('not' (b . d)) '&' ('not' ((('not' a) . d) '&' (('not' c) . d)))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' ((('not' a) . d) '&' (('not' c) . d))))) is set
((b . d) 'or' ((('not' a) . d) '&' (('not' c) . d))) 'or' (c . d) is V27() boolean set
'not' ((b . d) 'or' ((('not' a) . d) '&' (('not' c) . d))) is V27() boolean set
K100(1,((b . d) 'or' ((('not' a) . d) '&' (('not' c) . d)))) is set
('not' ((b . d) 'or' ((('not' a) . d) '&' (('not' c) . d)))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ((b . d) 'or' ((('not' a) . d) '&' (('not' c) . d)))),('not' (c . d))) is set
'not' (('not' ((b . d) 'or' ((('not' a) . d) '&' (('not' c) . d)))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ((b . d) 'or' ((('not' a) . d) '&' (('not' c) . d)))) '&' ('not' (c . d)))) is set
(b . d) 'or' (('not' c) . d) is V27() boolean set
'not' (('not' c) . d) is V27() boolean set
K100(1,(('not' c) . d)) is set
('not' (b . d)) '&' ('not' (('not' c) . d)) is V27() boolean set
K97(('not' (b . d)),('not' (('not' c) . d))) is set
'not' (('not' (b . d)) '&' ('not' (('not' c) . d))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' (('not' c) . d)))) is set
((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d)) is V27() boolean set
K97(((('not' a) . d) 'or' (b . d)),((b . d) 'or' (('not' c) . d))) is set
(((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d))) 'or' (c . d) is V27() boolean set
'not' (((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d))) is V27() boolean set
K100(1,(((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d)))) is set
('not' (((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d)))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d)))),('not' (c . d))) is set
'not' (('not' (((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d)))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (((('not' a) . d) 'or' (b . d)) '&' ((b . d) 'or' (('not' c) . d)))) '&' ('not' (c . d)))) is set
(('not' c) . d) 'or' (c . d) is V27() boolean set
('not' (('not' c) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (('not' c) . d)),('not' (c . d))) is set
'not' (('not' (('not' c) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' (c . d)))) is set
(b . d) 'or' ((('not' c) . d) 'or' (c . d)) is V27() boolean set
'not' ((('not' c) . d) 'or' (c . d)) is V27() boolean set
K100(1,((('not' c) . d) 'or' (c . d))) is set
('not' (b . d)) '&' ('not' ((('not' c) . d) 'or' (c . d))) is V27() boolean set
K97(('not' (b . d)),('not' ((('not' c) . d) 'or' (c . d)))) is set
'not' (('not' (b . d)) '&' ('not' ((('not' c) . d) 'or' (c . d)))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' ((('not' c) . d) 'or' (c . d))))) is set
'not' (c . d) is V27() boolean Element of BOOLEAN
('not' (c . d)) 'or' (c . d) is V27() boolean set
'not' ('not' (c . d)) is V27() boolean set
K100(1,('not' (c . d))) is set
('not' ('not' (c . d))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ('not' (c . d))),('not' (c . d))) is set
'not' (('not' ('not' (c . d))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ('not' (c . d))) '&' ('not' (c . d)))) is set
(b . d) 'or' (('not' (c . d)) 'or' (c . d)) is V27() boolean set
'not' (('not' (c . d)) 'or' (c . d)) is V27() boolean set
K100(1,(('not' (c . d)) 'or' (c . d))) is set
('not' (b . d)) '&' ('not' (('not' (c . d)) 'or' (c . d))) is V27() boolean set
K97(('not' (b . d)),('not' (('not' (c . d)) 'or' (c . d)))) is set
'not' (('not' (b . d)) '&' ('not' (('not' (c . d)) 'or' (c . d)))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' (('not' (c . d)) 'or' (c . d))))) is set
(b . d) 'or' TRUE is V27() boolean set
'not' TRUE is V27() boolean set
K100(1,TRUE) is set
('not' (b . d)) '&' ('not' TRUE) is V27() boolean set
K97(('not' (b . d)),('not' TRUE)) is set
'not' (('not' (b . d)) '&' ('not' TRUE)) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' TRUE))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
((a '&' b) 'or' c) . d is V27() boolean Element of BOOLEAN
(a 'or' c) . d is V27() boolean Element of BOOLEAN
(a '&' b) . d is V27() boolean Element of BOOLEAN
c . d is V27() boolean Element of BOOLEAN
((a '&' b) . d) 'or' (c . d) is V27() boolean set
'not' ((a '&' b) . d) is V27() boolean set
K100(1,((a '&' b) . d)) is set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' ((a '&' b) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ((a '&' b) . d)),('not' (c . d))) is set
'not' (('not' ((a '&' b) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ((a '&' b) . d)) '&' ('not' (c . d)))) is set
a . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(a . d) '&' (b . d) is V27() boolean Element of BOOLEAN
K97((a . d),(b . d)) is set
((a . d) '&' (b . d)) 'or' (c . d) is V27() boolean set
'not' ((a . d) '&' (b . d)) is V27() boolean set
K100(1,((a . d) '&' (b . d))) is set
('not' ((a . d) '&' (b . d))) '&' ('not' (c . d)) is V27() boolean set
K97(('not' ((a . d) '&' (b . d))),('not' (c . d))) is set
'not' (('not' ((a . d) '&' (b . d))) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' ((a . d) '&' (b . d))) '&' ('not' (c . d)))) is set
(a . d) 'or' (c . d) is V27() boolean set
'not' (a . d) is V27() boolean set
K100(1,(a . d)) is set
('not' (a . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (a . d)),('not' (c . d))) is set
'not' (('not' (a . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (a . d)) '&' ('not' (c . d)))) is set
(c . d) 'or' (a . d) is V27() boolean set
('not' (c . d)) '&' ('not' (a . d)) is V27() boolean set
K97(('not' (c . d)),('not' (a . d))) is set
'not' (('not' (c . d)) '&' ('not' (a . d))) is V27() boolean set
K100(1,(('not' (c . d)) '&' ('not' (a . d)))) is set
(c . d) 'or' (b . d) is V27() boolean set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (c . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (c . d)),('not' (b . d))) is set
'not' (('not' (c . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (c . d)) '&' ('not' (b . d)))) is set
((c . d) 'or' (a . d)) '&' ((c . d) 'or' (b . d)) is V27() boolean set
K97(((c . d) 'or' (a . d)),((c . d) 'or' (b . d))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) 'or' (c '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is Element of Y
((a '&' b) 'or' (c '&' d)) . b2 is V27() boolean Element of BOOLEAN
(a 'or' c) . b2 is V27() boolean Element of BOOLEAN
(a '&' b) . b2 is V27() boolean Element of BOOLEAN
(c '&' d) . b2 is V27() boolean Element of BOOLEAN
((a '&' b) . b2) 'or' ((c '&' d) . b2) is V27() boolean set
'not' ((a '&' b) . b2) is V27() boolean set
K100(1,((a '&' b) . b2)) is set
'not' ((c '&' d) . b2) is V27() boolean set
K100(1,((c '&' d) . b2)) is set
('not' ((a '&' b) . b2)) '&' ('not' ((c '&' d) . b2)) is V27() boolean set
K97(('not' ((a '&' b) . b2)),('not' ((c '&' d) . b2))) is set
'not' (('not' ((a '&' b) . b2)) '&' ('not' ((c '&' d) . b2))) is V27() boolean set
K100(1,(('not' ((a '&' b) . b2)) '&' ('not' ((c '&' d) . b2)))) is set
a . b2 is V27() boolean Element of BOOLEAN
b . b2 is V27() boolean Element of BOOLEAN
(a . b2) '&' (b . b2) is V27() boolean Element of BOOLEAN
K97((a . b2),(b . b2)) is set
((a . b2) '&' (b . b2)) 'or' ((c '&' d) . b2) is V27() boolean set
'not' ((a . b2) '&' (b . b2)) is V27() boolean set
K100(1,((a . b2) '&' (b . b2))) is set
('not' ((a . b2) '&' (b . b2))) '&' ('not' ((c '&' d) . b2)) is V27() boolean set
K97(('not' ((a . b2) '&' (b . b2))),('not' ((c '&' d) . b2))) is set
'not' (('not' ((a . b2) '&' (b . b2))) '&' ('not' ((c '&' d) . b2))) is V27() boolean set
K100(1,(('not' ((a . b2) '&' (b . b2))) '&' ('not' ((c '&' d) . b2)))) is set
c . b2 is V27() boolean Element of BOOLEAN
d . b2 is V27() boolean Element of BOOLEAN
(c . b2) '&' (d . b2) is V27() boolean Element of BOOLEAN
K97((c . b2),(d . b2)) is set
((a . b2) '&' (b . b2)) 'or' ((c . b2) '&' (d . b2)) is V27() boolean set
'not' ((c . b2) '&' (d . b2)) is V27() boolean set
K100(1,((c . b2) '&' (d . b2))) is set
('not' ((a . b2) '&' (b . b2))) '&' ('not' ((c . b2) '&' (d . b2))) is V27() boolean set
K97(('not' ((a . b2) '&' (b . b2))),('not' ((c . b2) '&' (d . b2)))) is set
'not' (('not' ((a . b2) '&' (b . b2))) '&' ('not' ((c . b2) '&' (d . b2)))) is V27() boolean set
K100(1,(('not' ((a . b2) '&' (b . b2))) '&' ('not' ((c . b2) '&' (d . b2))))) is set
(a . b2) 'or' (c . b2) is V27() boolean set
'not' (a . b2) is V27() boolean set
K100(1,(a . b2)) is set
'not' (c . b2) is V27() boolean set
K100(1,(c . b2)) is set
('not' (a . b2)) '&' ('not' (c . b2)) is V27() boolean set
K97(('not' (a . b2)),('not' (c . b2))) is set
'not' (('not' (a . b2)) '&' ('not' (c . b2))) is V27() boolean set
K100(1,(('not' (a . b2)) '&' ('not' (c . b2)))) is set
(c . b2) 'or' ((a . b2) '&' (b . b2)) is V27() boolean set
('not' (c . b2)) '&' ('not' ((a . b2) '&' (b . b2))) is V27() boolean set
K97(('not' (c . b2)),('not' ((a . b2) '&' (b . b2)))) is set
'not' (('not' (c . b2)) '&' ('not' ((a . b2) '&' (b . b2)))) is V27() boolean set
K100(1,(('not' (c . b2)) '&' ('not' ((a . b2) '&' (b . b2))))) is set
((a . b2) '&' (b . b2)) 'or' (d . b2) is V27() boolean set
'not' (d . b2) is V27() boolean set
K100(1,(d . b2)) is set
('not' ((a . b2) '&' (b . b2))) '&' ('not' (d . b2)) is V27() boolean set
K97(('not' ((a . b2) '&' (b . b2))),('not' (d . b2))) is set
'not' (('not' ((a . b2) '&' (b . b2))) '&' ('not' (d . b2))) is V27() boolean set
K100(1,(('not' ((a . b2) '&' (b . b2))) '&' ('not' (d . b2)))) is set
((c . b2) 'or' ((a . b2) '&' (b . b2))) '&' (((a . b2) '&' (b . b2)) 'or' (d . b2)) is V27() boolean set
K97(((c . b2) 'or' ((a . b2) '&' (b . b2))),(((a . b2) '&' (b . b2)) 'or' (d . b2))) is set
(c . b2) 'or' (b . b2) is V27() boolean set
'not' (b . b2) is V27() boolean set
K100(1,(b . b2)) is set
('not' (c . b2)) '&' ('not' (b . b2)) is V27() boolean set
K97(('not' (c . b2)),('not' (b . b2))) is set
'not' (('not' (c . b2)) '&' ('not' (b . b2))) is V27() boolean set
K100(1,(('not' (c . b2)) '&' ('not' (b . b2)))) is set
((a . b2) 'or' (c . b2)) '&' ((c . b2) 'or' (b . b2)) is V27() boolean set
K97(((a . b2) 'or' (c . b2)),((c . b2) 'or' (b . b2))) is set
(((a . b2) 'or' (c . b2)) '&' ((c . b2) 'or' (b . b2))) '&' (((a . b2) '&' (b . b2)) 'or' (d . b2)) is V27() boolean set
K97((((a . b2) 'or' (c . b2)) '&' ((c . b2) 'or' (b . b2))),(((a . b2) '&' (b . b2)) 'or' (d . b2))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) '&' (b 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (('not' a) 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
((a 'imp' b) '&' (('not' a) 'imp' c)) . d is V27() boolean Element of BOOLEAN
(b 'or' c) . d is V27() boolean Element of BOOLEAN
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) '&' (('not' a) 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((('not' a) 'or' b) '&' (('not' a) 'imp' c)) . d is V27() boolean Element of BOOLEAN
'not' ('not' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' ('not' a)) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) '&' (('not' ('not' a)) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((('not' a) 'or' b) '&' (('not' ('not' a)) 'or' c)) . d is V27() boolean Element of BOOLEAN
(('not' a) 'or' b) . d is V27() boolean Element of BOOLEAN
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' c) . d is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . d) '&' ((a 'or' c) . d) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . d),((a 'or' c) . d)) is set
('not' a) . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (b . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (('not' a) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (b . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (b . d)))) is set
((('not' a) . d) 'or' (b . d)) '&' ((a 'or' c) . d) is V27() boolean set
K97(((('not' a) . d) 'or' (b . d)),((a 'or' c) . d)) is set
a . d is V27() boolean Element of BOOLEAN
c . d is V27() boolean Element of BOOLEAN
(a . d) 'or' (c . d) is V27() boolean set
'not' (a . d) is V27() boolean set
K100(1,(a . d)) is set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' (a . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (a . d)),('not' (c . d))) is set
'not' (('not' (a . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (a . d)) '&' ('not' (c . d)))) is set
((('not' a) . d) 'or' (b . d)) '&' ((a . d) 'or' (c . d)) is V27() boolean set
K97(((('not' a) . d) 'or' (b . d)),((a . d) 'or' (c . d))) is set
(b . d) 'or' (c . d) is V27() boolean set
('not' (b . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (b . d)),('not' (c . d))) is set
'not' (('not' (b . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' (c . d)))) is set
b2 is V27() boolean set
'not' b2 is V27() boolean set
K100(1,b2) is set
('not' b2) '&' b2 is V27() boolean set
K97(('not' b2),b2) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (c 'imp' ('not' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
((a 'imp' b) '&' (c 'imp' ('not' b))) . d is V27() boolean Element of BOOLEAN
(('not' a) 'or' ('not' c)) . d is V27() boolean Element of BOOLEAN
(a 'imp' b) . d is V27() boolean Element of BOOLEAN
(c 'imp' ('not' b)) . d is V27() boolean Element of BOOLEAN
((a 'imp' b) . d) '&' ((c 'imp' ('not' b)) . d) is V27() boolean Element of BOOLEAN
K97(((a 'imp' b) . d),((c 'imp' ('not' b)) . d)) is set
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . d is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . d) '&' ((c 'imp' ('not' b)) . d) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . d),((c 'imp' ('not' b)) . d)) is set
('not' c) 'or' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' c) 'or' ('not' b)) . d is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . d) '&' ((('not' c) 'or' ('not' b)) . d) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . d),((('not' c) 'or' ('not' b)) . d)) is set
('not' a) . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (b . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (('not' a) . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (b . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (b . d)))) is set
((('not' a) . d) 'or' (b . d)) '&' ((('not' c) 'or' ('not' b)) . d) is V27() boolean set
K97(((('not' a) . d) 'or' (b . d)),((('not' c) 'or' ('not' b)) . d)) is set
('not' c) . d is V27() boolean Element of BOOLEAN
('not' b) . d is V27() boolean Element of BOOLEAN
(('not' c) . d) 'or' (('not' b) . d) is V27() boolean set
'not' (('not' c) . d) is V27() boolean set
K100(1,(('not' c) . d)) is set
'not' (('not' b) . d) is V27() boolean set
K100(1,(('not' b) . d)) is set
('not' (('not' c) . d)) '&' ('not' (('not' b) . d)) is V27() boolean set
K97(('not' (('not' c) . d)),('not' (('not' b) . d))) is set
'not' (('not' (('not' c) . d)) '&' ('not' (('not' b) . d))) is V27() boolean set
K100(1,(('not' (('not' c) . d)) '&' ('not' (('not' b) . d)))) is set
((('not' a) . d) 'or' (b . d)) '&' ((('not' c) . d) 'or' (('not' b) . d)) is V27() boolean set
K97(((('not' a) . d) 'or' (b . d)),((('not' c) . d) 'or' (('not' b) . d))) is set
(('not' a) . d) 'or' (('not' c) . d) is V27() boolean set
('not' (('not' a) . d)) '&' ('not' (('not' c) . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (('not' c) . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (('not' c) . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (('not' c) . d)))) is set
'not' (b . d) is V27() boolean Element of BOOLEAN
(b . d) '&' ('not' (b . d)) is V27() boolean Element of BOOLEAN
K97((b . d),('not' (b . d))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) '&' (('not' a) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is Element of Y
((a 'or' b) '&' (('not' a) 'or' c)) . d is V27() boolean Element of BOOLEAN
(b 'or' c) . d is V27() boolean Element of BOOLEAN
(a 'or' b) . d is V27() boolean Element of BOOLEAN
(('not' a) 'or' c) . d is V27() boolean Element of BOOLEAN
((a 'or' b) . d) '&' ((('not' a) 'or' c) . d) is V27() boolean Element of BOOLEAN
K97(((a 'or' b) . d),((('not' a) 'or' c) . d)) is set
a . d is V27() boolean Element of BOOLEAN
b . d is V27() boolean Element of BOOLEAN
(a . d) 'or' (b . d) is V27() boolean set
'not' (a . d) is V27() boolean set
K100(1,(a . d)) is set
'not' (b . d) is V27() boolean set
K100(1,(b . d)) is set
('not' (a . d)) '&' ('not' (b . d)) is V27() boolean set
K97(('not' (a . d)),('not' (b . d))) is set
'not' (('not' (a . d)) '&' ('not' (b . d))) is V27() boolean set
K100(1,(('not' (a . d)) '&' ('not' (b . d)))) is set
((a . d) 'or' (b . d)) '&' ((('not' a) 'or' c) . d) is V27() boolean set
K97(((a . d) 'or' (b . d)),((('not' a) 'or' c) . d)) is set
('not' a) . d is V27() boolean Element of BOOLEAN
c . d is V27() boolean Element of BOOLEAN
(('not' a) . d) 'or' (c . d) is V27() boolean set
'not' (('not' a) . d) is V27() boolean set
K100(1,(('not' a) . d)) is set
'not' (c . d) is V27() boolean set
K100(1,(c . d)) is set
('not' (('not' a) . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (('not' a) . d)),('not' (c . d))) is set
'not' (('not' (('not' a) . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (('not' a) . d)) '&' ('not' (c . d)))) is set
((a . d) 'or' (b . d)) '&' ((('not' a) . d) 'or' (c . d)) is V27() boolean set
K97(((a . d) 'or' (b . d)),((('not' a) . d) 'or' (c . d))) is set
(b . d) 'or' (c . d) is V27() boolean set
('not' (b . d)) '&' ('not' (c . d)) is V27() boolean set
K97(('not' (b . d)),('not' (c . d))) is set
'not' (('not' (b . d)) '&' ('not' (c . d))) is V27() boolean set
K100(1,(('not' (b . d)) '&' ('not' (c . d)))) is set
'not' (a . d) is V27() boolean Element of BOOLEAN
(a . d) '&' ('not' (a . d)) is V27() boolean Element of BOOLEAN
K97((a . d),('not' (a . d))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (c 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) 'imp' (b '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is Element of Y
((a 'imp' b) '&' (c 'imp' d)) . b2 is V27() boolean Element of BOOLEAN
((a '&' c) 'imp' (b '&' d)) . b2 is V27() boolean Element of BOOLEAN
(a 'imp' b) . b2 is V27() boolean Element of BOOLEAN
(c 'imp' d) . b2 is V27() boolean Element of BOOLEAN
((a 'imp' b) . b2) '&' ((c 'imp' d) . b2) is V27() boolean Element of BOOLEAN
K97(((a 'imp' b) . b2),((c 'imp' d) . b2)) is set
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) . b2 is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . b2) '&' ((c 'imp' d) . b2) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . b2),((c 'imp' d) . b2)) is set
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' c) 'or' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' c) 'or' d) . b2 is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . b2) '&' ((('not' c) 'or' d) . b2) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . b2),((('not' c) 'or' d) . b2)) is set
('not' a) . b2 is V27() boolean Element of BOOLEAN
b . b2 is V27() boolean Element of BOOLEAN
(('not' a) . b2) 'or' (b . b2) is V27() boolean set
'not' (('not' a) . b2) is V27() boolean set
K100(1,(('not' a) . b2)) is set
'not' (b . b2) is V27() boolean set
K100(1,(b . b2)) is set
('not' (('not' a) . b2)) '&' ('not' (b . b2)) is V27() boolean set
K97(('not' (('not' a) . b2)),('not' (b . b2))) is set
'not' (('not' (('not' a) . b2)) '&' ('not' (b . b2))) is V27() boolean set
K100(1,(('not' (('not' a) . b2)) '&' ('not' (b . b2)))) is set
((('not' a) . b2) 'or' (b . b2)) '&' ((('not' c) 'or' d) . b2) is V27() boolean set
K97(((('not' a) . b2) 'or' (b . b2)),((('not' c) 'or' d) . b2)) is set
('not' c) . b2 is V27() boolean Element of BOOLEAN
d . b2 is V27() boolean Element of BOOLEAN
(('not' c) . b2) 'or' (d . b2) is V27() boolean set
'not' (('not' c) . b2) is V27() boolean set
K100(1,(('not' c) . b2)) is set
'not' (d . b2) is V27() boolean set
K100(1,(d . b2)) is set
('not' (('not' c) . b2)) '&' ('not' (d . b2)) is V27() boolean set
K97(('not' (('not' c) . b2)),('not' (d . b2))) is set
'not' (('not' (('not' c) . b2)) '&' ('not' (d . b2))) is V27() boolean set
K100(1,(('not' (('not' c) . b2)) '&' ('not' (d . b2)))) is set
((('not' a) . b2) 'or' (b . b2)) '&' ((('not' c) . b2) 'or' (d . b2)) is V27() boolean set
K97(((('not' a) . b2) 'or' (b . b2)),((('not' c) . b2) 'or' (d . b2))) is set
(('not' a) . b2) 'or' (('not' c) . b2) is V27() boolean set
('not' (('not' a) . b2)) '&' ('not' (('not' c) . b2)) is V27() boolean set
K97(('not' (('not' a) . b2)),('not' (('not' c) . b2))) is set
'not' (('not' (('not' a) . b2)) '&' ('not' (('not' c) . b2))) is V27() boolean set
K100(1,(('not' (('not' a) . b2)) '&' ('not' (('not' c) . b2)))) is set
(b . b2) '&' (d . b2) is V27() boolean Element of BOOLEAN
K97((b . b2),(d . b2)) is set
'not' (a '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a '&' c)) 'or' (b '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' (a '&' c)) 'or' (b '&' d)) . b2 is V27() boolean Element of BOOLEAN
('not' (a '&' c)) . b2 is V27() boolean Element of BOOLEAN
(b '&' d) . b2 is V27() boolean Element of BOOLEAN
(('not' (a '&' c)) . b2) 'or' ((b '&' d) . b2) is V27() boolean set
'not' (('not' (a '&' c)) . b2) is V27() boolean set
K100(1,(('not' (a '&' c)) . b2)) is set
'not' ((b '&' d) . b2) is V27() boolean set
K100(1,((b '&' d) . b2)) is set
('not' (('not' (a '&' c)) . b2)) '&' ('not' ((b '&' d) . b2)) is V27() boolean set
K97(('not' (('not' (a '&' c)) . b2)),('not' ((b '&' d) . b2))) is set
'not' (('not' (('not' (a '&' c)) . b2)) '&' ('not' ((b '&' d) . b2))) is V27() boolean set
K100(1,(('not' (('not' (a '&' c)) . b2)) '&' ('not' ((b '&' d) . b2)))) is set
('not' a) 'or' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' ('not' c)) . b2 is V27() boolean Element of BOOLEAN
((('not' a) 'or' ('not' c)) . b2) 'or' ((b '&' d) . b2) is V27() boolean set
'not' ((('not' a) 'or' ('not' c)) . b2) is V27() boolean set
K100(1,((('not' a) 'or' ('not' c)) . b2)) is set
('not' ((('not' a) 'or' ('not' c)) . b2)) '&' ('not' ((b '&' d) . b2)) is V27() boolean set
K97(('not' ((('not' a) 'or' ('not' c)) . b2)),('not' ((b '&' d) . b2))) is set
'not' (('not' ((('not' a) 'or' ('not' c)) . b2)) '&' ('not' ((b '&' d) . b2))) is V27() boolean set
K100(1,(('not' ((('not' a) 'or' ('not' c)) . b2)) '&' ('not' ((b '&' d) . b2)))) is set
((('not' a) . b2) 'or' (('not' c) . b2)) 'or' ((b '&' d) . b2) is V27() boolean set
'not' ((('not' a) . b2) 'or' (('not' c) . b2)) is V27() boolean set
K100(1,((('not' a) . b2) 'or' (('not' c) . b2))) is set
('not' ((('not' a) . b2) 'or' (('not' c) . b2))) '&' ('not' ((b '&' d) . b2)) is V27() boolean set
K97(('not' ((('not' a) . b2) 'or' (('not' c) . b2))),('not' ((b '&' d) . b2))) is set
'not' (('not' ((('not' a) . b2) 'or' (('not' c) . b2))) '&' ('not' ((b '&' d) . b2))) is V27() boolean set
K100(1,(('not' ((('not' a) . b2) 'or' (('not' c) . b2))) '&' ('not' ((b '&' d) . b2)))) is set
((('not' a) . b2) 'or' (('not' c) . b2)) 'or' ((b . b2) '&' (d . b2)) is V27() boolean set
'not' ((b . b2) '&' (d . b2)) is V27() boolean set
K100(1,((b . b2) '&' (d . b2))) is set
('not' ((('not' a) . b2) 'or' (('not' c) . b2))) '&' ('not' ((b . b2) '&' (d . b2))) is V27() boolean set
K97(('not' ((('not' a) . b2) 'or' (('not' c) . b2))),('not' ((b . b2) '&' (d . b2)))) is set
'not' (('not' ((('not' a) . b2) 'or' (('not' c) . b2))) '&' ('not' ((b . b2) '&' (d . b2)))) is V27() boolean set
K100(1,(('not' ((('not' a) . b2) 'or' (('not' c) . b2))) '&' ('not' ((b . b2) '&' (d . b2))))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (a 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' (b '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' a) 'imp' (b '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (c 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' c) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' b) '&' (c 'imp' b)) 'imp' ((a 'or' c) 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (c 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' c) 'imp' (b 'or' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is Element of Y
((a 'imp' b) '&' (c 'imp' d)) . b2 is V27() boolean Element of BOOLEAN
((a 'or' c) 'imp' (b 'or' d)) . b2 is V27() boolean Element of BOOLEAN
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) '&' (c 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((('not' a) 'or' b) '&' (c 'imp' d)) . b2 is V27() boolean Element of BOOLEAN
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' c) 'or' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' b) '&' (('not' c) 'or' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((('not' a) 'or' b) '&' (('not' c) 'or' d)) . b2 is V27() boolean Element of BOOLEAN
(('not' a) 'or' b) . b2 is V27() boolean Element of BOOLEAN
(('not' c) 'or' d) . b2 is V27() boolean Element of BOOLEAN
((('not' a) 'or' b) . b2) '&' ((('not' c) 'or' d) . b2) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' b) . b2),((('not' c) 'or' d) . b2)) is set
('not' a) . b2 is V27() boolean Element of BOOLEAN
b . b2 is V27() boolean Element of BOOLEAN
(('not' a) . b2) 'or' (b . b2) is V27() boolean set
'not' (('not' a) . b2) is V27() boolean set
K100(1,(('not' a) . b2)) is set
'not' (b . b2) is V27() boolean set
K100(1,(b . b2)) is set
('not' (('not' a) . b2)) '&' ('not' (b . b2)) is V27() boolean set
K97(('not' (('not' a) . b2)),('not' (b . b2))) is set
'not' (('not' (('not' a) . b2)) '&' ('not' (b . b2))) is V27() boolean set
K100(1,(('not' (('not' a) . b2)) '&' ('not' (b . b2)))) is set
((('not' a) . b2) 'or' (b . b2)) '&' ((('not' c) 'or' d) . b2) is V27() boolean set
K97(((('not' a) . b2) 'or' (b . b2)),((('not' c) 'or' d) . b2)) is set
('not' c) . b2 is V27() boolean Element of BOOLEAN
d . b2 is V27() boolean Element of BOOLEAN
(('not' c) . b2) 'or' (d . b2) is V27() boolean set
'not' (('not' c) . b2) is V27() boolean set
K100(1,(('not' c) . b2)) is set
'not' (d . b2) is V27() boolean set
K100(1,(d . b2)) is set
('not' (('not' c) . b2)) '&' ('not' (d . b2)) is V27() boolean set
K97(('not' (('not' c) . b2)),('not' (d . b2))) is set
'not' (('not' (('not' c) . b2)) '&' ('not' (d . b2))) is V27() boolean set
K100(1,(('not' (('not' c) . b2)) '&' ('not' (d . b2)))) is set
((('not' a) . b2) 'or' (b . b2)) '&' ((('not' c) . b2) 'or' (d . b2)) is V27() boolean set
K97(((('not' a) . b2) 'or' (b . b2)),((('not' c) . b2) 'or' (d . b2))) is set
(b . b2) 'or' (d . b2) is V27() boolean set
('not' (b . b2)) '&' ('not' (d . b2)) is V27() boolean set
K97(('not' (b . b2)),('not' (d . b2))) is set
'not' (('not' (b . b2)) '&' ('not' (d . b2))) is V27() boolean set
K100(1,(('not' (b . b2)) '&' ('not' (d . b2)))) is set
(('not' a) . b2) '&' (('not' c) . b2) is V27() boolean Element of BOOLEAN
K97((('not' a) . b2),(('not' c) . b2)) is set
'not' (a 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a 'or' c)) 'or' (b 'or' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' (a 'or' c)) 'or' (b 'or' d)) . b2 is V27() boolean Element of BOOLEAN
('not' a) '&' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) '&' ('not' c)) 'or' (b 'or' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((('not' a) '&' ('not' c)) 'or' (b 'or' d)) . b2 is V27() boolean Element of BOOLEAN
(('not' a) '&' ('not' c)) . b2 is V27() boolean Element of BOOLEAN
(b 'or' d) . b2 is V27() boolean Element of BOOLEAN
((('not' a) '&' ('not' c)) . b2) 'or' ((b 'or' d) . b2) is V27() boolean set
'not' ((('not' a) '&' ('not' c)) . b2) is V27() boolean set
K100(1,((('not' a) '&' ('not' c)) . b2)) is set
'not' ((b 'or' d) . b2) is V27() boolean set
K100(1,((b 'or' d) . b2)) is set
('not' ((('not' a) '&' ('not' c)) . b2)) '&' ('not' ((b 'or' d) . b2)) is V27() boolean set
K97(('not' ((('not' a) '&' ('not' c)) . b2)),('not' ((b 'or' d) . b2))) is set
'not' (('not' ((('not' a) '&' ('not' c)) . b2)) '&' ('not' ((b 'or' d) . b2))) is V27() boolean set
K100(1,(('not' ((('not' a) '&' ('not' c)) . b2)) '&' ('not' ((b 'or' d) . b2)))) is set
((('not' a) . b2) '&' (('not' c) . b2)) 'or' ((b 'or' d) . b2) is V27() boolean set
'not' ((('not' a) . b2) '&' (('not' c) . b2)) is V27() boolean set
K100(1,((('not' a) . b2) '&' (('not' c) . b2))) is set
('not' ((('not' a) . b2) '&' (('not' c) . b2))) '&' ('not' ((b 'or' d) . b2)) is V27() boolean set
K97(('not' ((('not' a) . b2) '&' (('not' c) . b2))),('not' ((b 'or' d) . b2))) is set
'not' (('not' ((('not' a) . b2) '&' (('not' c) . b2))) '&' ('not' ((b 'or' d) . b2))) is V27() boolean set
K100(1,(('not' ((('not' a) . b2) '&' (('not' c) . b2))) '&' ('not' ((b 'or' d) . b2)))) is set
((('not' a) . b2) '&' (('not' c) . b2)) 'or' ((b . b2) 'or' (d . b2)) is V27() boolean set
'not' ((b . b2) 'or' (d . b2)) is V27() boolean set
K100(1,((b . b2) 'or' (d . b2))) is set
('not' ((('not' a) . b2) '&' (('not' c) . b2))) '&' ('not' ((b . b2) 'or' (d . b2))) is V27() boolean set
K97(('not' ((('not' a) . b2) '&' (('not' c) . b2))),('not' ((b . b2) 'or' (d . b2)))) is set
'not' (('not' ((('not' a) . b2) '&' (('not' c) . b2))) '&' ('not' ((b . b2) 'or' (d . b2)))) is V27() boolean set
K100(1,(('not' ((('not' a) . b2) '&' (('not' c) . b2))) '&' ('not' ((b . b2) 'or' (d . b2))))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (a 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' (b 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' a) 'imp' (b 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b 'imp' b2) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d 'imp' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 'or' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b 'or' c) 'imp' (b2 'or' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b2 'or' c2) 'imp' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b 'or' c) 'imp' (b2 'or' c2)) '&' ((b2 'or' c2) 'imp' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b 'or' c) 'imp' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((b 'or' c) 'imp' (b2 'or' c2)) '&' ((b2 'or' c2) 'imp' ('not' d))) '&' ((b 'or' c) 'imp' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((b 'or' c) 'imp' (b2 'or' c2)) '&' ((b2 'or' c2) 'imp' ('not' d))) '&' ((b 'or' c) 'imp' ('not' d))) 'imp' ((b 'or' c) 'imp' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b 'imp' b2) '&' (c 'imp' c2)) 'imp' ((b 'or' c) 'imp' (b2 'or' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' ((b 'imp' b2) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' ((b 'or' c) 'imp' (b2 'or' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (d '&' b2)) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (('not' (d '&' b2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b 'or' c) 'imp' (b2 'or' c2)) '&' (('not' (d '&' b2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (((b 'or' c) 'imp' (b2 'or' c2)) '&' (('not' (d '&' b2)) '&' ('not' (d '&' c2)))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' d) 'or' ('not' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' d) 'or' ('not' b2)) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' b2) 'or' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' c2) 'or' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' b2) 'or' ('not' d)) '&' (('not' c2) 'or' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 'imp' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b2 'imp' ('not' d)) '&' (('not' c2) 'or' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 'imp' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b2 'imp' ('not' d)) '&' (c2 'imp' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' ((((b 'or' c) 'imp' (b2 'or' c2)) '&' ((b2 'or' c2) 'imp' ('not' d))) '&' ((b 'or' c) 'imp' ('not' d))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' ((b 'or' c) 'imp' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'or' b) 'or' c) '&' ((b 'or' c) 'imp' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' (b 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' (b 'or' c)) '&' ((b 'or' c) 'imp' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'or' b) 'or' c) '&' ((b 'or' c) 'imp' ('not' d))) 'imp' (a 'or' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (((a 'or' b) 'or' c) '&' ((b 'or' c) 'imp' ('not' d))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (a 'or' ('not' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (d 'imp' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b2 '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (c2 '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (c2 '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (a 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((a 'imp' d) '&' (b 'imp' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b2 '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b2 '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d))) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (a 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((a 'imp' d) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b2 '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b 'imp' b2) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((b 'imp' b2) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' b) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b2 '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d 'imp' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(d 'imp' a) '&' (b2 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((d 'imp' a) '&' (b2 'imp' b)) '&' (c2 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b 'imp' b2) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (c2 '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (c2 '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b2 '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d))) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) '&' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d))) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) '&' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (b2 '&' d))) '&' ('not' (b2 '&' c2)))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) '&' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) '&' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2)))) '&' (((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) '&' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2)))) '&' (((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2))) 'imp' (b2 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) '&' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2)))) '&' (((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)))) 'imp' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (b2 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) 'imp' (d 'imp' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (d 'imp' a) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' ((d 'imp' a) '&' (b2 'imp' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' c) 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' c) 'or' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' c) 'or' b)) '&' ('not' (c2 '&' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' c) 'or' b)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) 'imp' (c2 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) '&' (((((a 'imp' d) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2)))) '&' (((((b 'imp' b2) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)))) 'imp' (((((a 'imp' d) '&' (b 'imp' b2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (c2 '&' d))) '&' ('not' (c2 '&' b2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (c2 'imp' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ((a 'or' b) 'or' c)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2))) 'imp' (((d 'imp' a) '&' (b2 'imp' b)) '&' (c2 'imp' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' c) '&' (b 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (c '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' c) '&' (b 'imp' d)) '&' ('not' (c '&' d)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (a '&' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' c) '&' (b 'imp' d)) '&' ('not' (c '&' d))) 'imp' ('not' (a '&' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is Element of Y
(((a 'imp' c) '&' (b 'imp' d)) '&' ('not' (c '&' d))) . b2 is V27() boolean Element of BOOLEAN
('not' (a '&' b)) . b2 is V27() boolean Element of BOOLEAN
((a 'imp' c) '&' (b 'imp' d)) . b2 is V27() boolean Element of BOOLEAN
('not' (c '&' d)) . b2 is V27() boolean Element of BOOLEAN
(((a 'imp' c) '&' (b 'imp' d)) . b2) '&' (('not' (c '&' d)) . b2) is V27() boolean Element of BOOLEAN
K97((((a 'imp' c) '&' (b 'imp' d)) . b2),(('not' (c '&' d)) . b2)) is set
(a 'imp' c) . b2 is V27() boolean Element of BOOLEAN
(b 'imp' d) . b2 is V27() boolean Element of BOOLEAN
((a 'imp' c) . b2) '&' ((b 'imp' d) . b2) is V27() boolean Element of BOOLEAN
K97(((a 'imp' c) . b2),((b 'imp' d) . b2)) is set
(((a 'imp' c) . b2) '&' ((b 'imp' d) . b2)) '&' (('not' (c '&' d)) . b2) is V27() boolean Element of BOOLEAN
K97((((a 'imp' c) . b2) '&' ((b 'imp' d) . b2)),(('not' (c '&' d)) . b2)) is set
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' c) . b2 is V27() boolean Element of BOOLEAN
((('not' a) 'or' c) . b2) '&' ((b 'imp' d) . b2) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' c) . b2),((b 'imp' d) . b2)) is set
(((('not' a) 'or' c) . b2) '&' ((b 'imp' d) . b2)) '&' (('not' (c '&' d)) . b2) is V27() boolean Element of BOOLEAN
K97((((('not' a) 'or' c) . b2) '&' ((b 'imp' d) . b2)),(('not' (c '&' d)) . b2)) is set
'not' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' b) 'or' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' b) 'or' d) . b2 is V27() boolean Element of BOOLEAN
((('not' a) 'or' c) . b2) '&' ((('not' b) 'or' d) . b2) is V27() boolean Element of BOOLEAN
K97(((('not' a) 'or' c) . b2),((('not' b) 'or' d) . b2)) is set
(((('not' a) 'or' c) . b2) '&' ((('not' b) 'or' d) . b2)) '&' (('not' (c '&' d)) . b2) is V27() boolean Element of BOOLEAN
K97((((('not' a) 'or' c) . b2) '&' ((('not' b) 'or' d) . b2)),(('not' (c '&' d)) . b2)) is set
('not' a) . b2 is V27() boolean Element of BOOLEAN
c . b2 is V27() boolean Element of BOOLEAN
(('not' a) . b2) 'or' (c . b2) is V27() boolean set
'not' (('not' a) . b2) is V27() boolean set
K100(1,(('not' a) . b2)) is set
'not' (c . b2) is V27() boolean set
K100(1,(c . b2)) is set
('not' (('not' a) . b2)) '&' ('not' (c . b2)) is V27() boolean set
K97(('not' (('not' a) . b2)),('not' (c . b2))) is set
'not' (('not' (('not' a) . b2)) '&' ('not' (c . b2))) is V27() boolean set
K100(1,(('not' (('not' a) . b2)) '&' ('not' (c . b2)))) is set
((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) 'or' d) . b2) is V27() boolean set
K97(((('not' a) . b2) 'or' (c . b2)),((('not' b) 'or' d) . b2)) is set
(((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) 'or' d) . b2)) '&' (('not' (c '&' d)) . b2) is V27() boolean set
K97((((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) 'or' d) . b2)),(('not' (c '&' d)) . b2)) is set
('not' b) . b2 is V27() boolean Element of BOOLEAN
d . b2 is V27() boolean Element of BOOLEAN
(('not' b) . b2) 'or' (d . b2) is V27() boolean set
'not' (('not' b) . b2) is V27() boolean set
K100(1,(('not' b) . b2)) is set
'not' (d . b2) is V27() boolean set
K100(1,(d . b2)) is set
('not' (('not' b) . b2)) '&' ('not' (d . b2)) is V27() boolean set
K97(('not' (('not' b) . b2)),('not' (d . b2))) is set
'not' (('not' (('not' b) . b2)) '&' ('not' (d . b2))) is V27() boolean set
K100(1,(('not' (('not' b) . b2)) '&' ('not' (d . b2)))) is set
((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) . b2) 'or' (d . b2)) is V27() boolean set
K97(((('not' a) . b2) 'or' (c . b2)),((('not' b) . b2) 'or' (d . b2))) is set
(((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) . b2) 'or' (d . b2))) '&' (('not' (c '&' d)) . b2) is V27() boolean set
K97((((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) . b2) 'or' (d . b2))),(('not' (c '&' d)) . b2)) is set
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' c) 'or' ('not' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' c) 'or' ('not' d)) . b2 is V27() boolean Element of BOOLEAN
(((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) . b2) 'or' (d . b2))) '&' ((('not' c) 'or' ('not' d)) . b2) is V27() boolean set
K97((((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) . b2) 'or' (d . b2))),((('not' c) 'or' ('not' d)) . b2)) is set
('not' c) . b2 is V27() boolean Element of BOOLEAN
('not' d) . b2 is V27() boolean Element of BOOLEAN
(('not' c) . b2) 'or' (('not' d) . b2) is V27() boolean set
'not' (('not' c) . b2) is V27() boolean set
K100(1,(('not' c) . b2)) is set
'not' (('not' d) . b2) is V27() boolean set
K100(1,(('not' d) . b2)) is set
('not' (('not' c) . b2)) '&' ('not' (('not' d) . b2)) is V27() boolean set
K97(('not' (('not' c) . b2)),('not' (('not' d) . b2))) is set
'not' (('not' (('not' c) . b2)) '&' ('not' (('not' d) . b2))) is V27() boolean set
K100(1,(('not' (('not' c) . b2)) '&' ('not' (('not' d) . b2)))) is set
(((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) . b2) 'or' (d . b2))) '&' ((('not' c) . b2) 'or' (('not' d) . b2)) is V27() boolean set
K97((((('not' a) . b2) 'or' (c . b2)) '&' ((('not' b) . b2) 'or' (d . b2))),((('not' c) . b2) 'or' (('not' d) . b2))) is set
('not' a) 'or' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' ('not' b)) . b2 is V27() boolean Element of BOOLEAN
(('not' a) . b2) 'or' (('not' b) . b2) is V27() boolean set
('not' (('not' a) . b2)) '&' ('not' (('not' b) . b2)) is V27() boolean set
K97(('not' (('not' a) . b2)),('not' (('not' b) . b2))) is set
'not' (('not' (('not' a) . b2)) '&' ('not' (('not' b) . b2))) is V27() boolean set
K100(1,(('not' (('not' a) . b2)) '&' ('not' (('not' b) . b2)))) is set
(d . b2) '&' (c . b2) is V27() boolean Element of BOOLEAN
K97((d . b2),(c . b2)) is set
((d . b2) '&' (c . b2)) '&' (('not' c) . b2) is V27() boolean Element of BOOLEAN
K97(((d . b2) '&' (c . b2)),(('not' c) . b2)) is set
(c . b2) '&' (d . b2) is V27() boolean Element of BOOLEAN
K97((c . b2),(d . b2)) is set
((c . b2) '&' (d . b2)) '&' (('not' d) . b2) is V27() boolean Element of BOOLEAN
K97(((c . b2) '&' (d . b2)),(('not' d) . b2)) is set
(((d . b2) '&' (c . b2)) '&' (('not' c) . b2)) 'or' (((c . b2) '&' (d . b2)) '&' (('not' d) . b2)) is V27() boolean set
'not' (((d . b2) '&' (c . b2)) '&' (('not' c) . b2)) is V27() boolean set
K100(1,(((d . b2) '&' (c . b2)) '&' (('not' c) . b2))) is set
'not' (((c . b2) '&' (d . b2)) '&' (('not' d) . b2)) is V27() boolean set
K100(1,(((c . b2) '&' (d . b2)) '&' (('not' d) . b2))) is set
('not' (((d . b2) '&' (c . b2)) '&' (('not' c) . b2))) '&' ('not' (((c . b2) '&' (d . b2)) '&' (('not' d) . b2))) is V27() boolean set
K97(('not' (((d . b2) '&' (c . b2)) '&' (('not' c) . b2))),('not' (((c . b2) '&' (d . b2)) '&' (('not' d) . b2)))) is set
'not' (('not' (((d . b2) '&' (c . b2)) '&' (('not' c) . b2))) '&' ('not' (((c . b2) '&' (d . b2)) '&' (('not' d) . b2)))) is V27() boolean set
K100(1,(('not' (((d . b2) '&' (c . b2)) '&' (('not' c) . b2))) '&' ('not' (((c . b2) '&' (d . b2)) '&' (('not' d) . b2))))) is set
(c . b2) '&' (('not' c) . b2) is V27() boolean Element of BOOLEAN
K97((c . b2),(('not' c) . b2)) is set
(d . b2) '&' ((c . b2) '&' (('not' c) . b2)) is V27() boolean Element of BOOLEAN
K97((d . b2),((c . b2) '&' (('not' c) . b2))) is set
(d . b2) '&' (('not' d) . b2) is V27() boolean Element of BOOLEAN
K97((d . b2),(('not' d) . b2)) is set
(c . b2) '&' ((d . b2) '&' (('not' d) . b2)) is V27() boolean Element of BOOLEAN
K97((c . b2),((d . b2) '&' (('not' d) . b2))) is set
((d . b2) '&' ((c . b2) '&' (('not' c) . b2))) 'or' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2))) is V27() boolean set
'not' ((d . b2) '&' ((c . b2) '&' (('not' c) . b2))) is V27() boolean set
K100(1,((d . b2) '&' ((c . b2) '&' (('not' c) . b2)))) is set
'not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2))) is V27() boolean set
K100(1,((c . b2) '&' ((d . b2) '&' (('not' d) . b2)))) is set
('not' ((d . b2) '&' ((c . b2) '&' (('not' c) . b2)))) '&' ('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2)))) is V27() boolean set
K97(('not' ((d . b2) '&' ((c . b2) '&' (('not' c) . b2)))),('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2))))) is set
'not' (('not' ((d . b2) '&' ((c . b2) '&' (('not' c) . b2)))) '&' ('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2))))) is V27() boolean set
K100(1,(('not' ((d . b2) '&' ((c . b2) '&' (('not' c) . b2)))) '&' ('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2)))))) is set
'not' (c . b2) is V27() boolean Element of BOOLEAN
(c . b2) '&' ('not' (c . b2)) is V27() boolean Element of BOOLEAN
K97((c . b2),('not' (c . b2))) is set
(d . b2) '&' ((c . b2) '&' ('not' (c . b2))) is V27() boolean Element of BOOLEAN
K97((d . b2),((c . b2) '&' ('not' (c . b2)))) is set
((d . b2) '&' ((c . b2) '&' ('not' (c . b2)))) 'or' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2))) is V27() boolean set
'not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2)))) is V27() boolean set
K100(1,((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))) is set
('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))) '&' ('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2)))) is V27() boolean set
K97(('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))),('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2))))) is set
'not' (('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))) '&' ('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2))))) is V27() boolean set
K100(1,(('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))) '&' ('not' ((c . b2) '&' ((d . b2) '&' (('not' d) . b2)))))) is set
'not' (d . b2) is V27() boolean Element of BOOLEAN
(d . b2) '&' ('not' (d . b2)) is V27() boolean Element of BOOLEAN
K97((d . b2),('not' (d . b2))) is set
(c . b2) '&' ((d . b2) '&' ('not' (d . b2))) is V27() boolean Element of BOOLEAN
K97((c . b2),((d . b2) '&' ('not' (d . b2)))) is set
((d . b2) '&' ((c . b2) '&' ('not' (c . b2)))) 'or' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2)))) is V27() boolean set
'not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2)))) is V27() boolean set
K100(1,((c . b2) '&' ((d . b2) '&' ('not' (d . b2))))) is set
('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))) '&' ('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2))))) is V27() boolean set
K97(('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))),('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2)))))) is set
'not' (('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))) '&' ('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2)))))) is V27() boolean set
K100(1,(('not' ((d . b2) '&' ((c . b2) '&' ('not' (c . b2))))) '&' ('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2))))))) is set
(d . b2) '&' FALSE is V27() boolean Element of BOOLEAN
K97((d . b2),FALSE) is set
((d . b2) '&' FALSE) 'or' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2)))) is V27() boolean set
'not' ((d . b2) '&' FALSE) is V27() boolean set
K100(1,((d . b2) '&' FALSE)) is set
('not' ((d . b2) '&' FALSE)) '&' ('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2))))) is V27() boolean set
K97(('not' ((d . b2) '&' FALSE)),('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2)))))) is set
'not' (('not' ((d . b2) '&' FALSE)) '&' ('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2)))))) is V27() boolean set
K100(1,(('not' ((d . b2) '&' FALSE)) '&' ('not' ((c . b2) '&' ((d . b2) '&' ('not' (d . b2))))))) is set
FALSE '&' (c . b2) is V27() boolean Element of BOOLEAN
K97(FALSE,(c . b2)) is set
FALSE 'or' (FALSE '&' (c . b2)) is V27() boolean set
'not' FALSE is V27() boolean set
K100(1,FALSE) is set
'not' (FALSE '&' (c . b2)) is V27() boolean set
K100(1,(FALSE '&' (c . b2))) is set
('not' FALSE) '&' ('not' (FALSE '&' (c . b2))) is V27() boolean set
K97(('not' FALSE),('not' (FALSE '&' (c . b2)))) is set
'not' (('not' FALSE) '&' ('not' (FALSE '&' (c . b2)))) is V27() boolean set
K100(1,(('not' FALSE) '&' ('not' (FALSE '&' (c . b2))))) is set
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'imp' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (d '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b2 '&' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (a '&' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (a '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a '&' b)) '&' ('not' (a '&' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (b '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' (a '&' b)) '&' ('not' (a '&' c))) '&' ('not' (b '&' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b 'imp' b2) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' ((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) 'imp' ('not' (a '&' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) 'imp' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' ('not' (a '&' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) 'imp' ('not' (a '&' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2))) 'imp' ('not' (b '&' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' ('not' (b '&' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) 'imp' (((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' (((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' ('not' (a '&' b)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' (('not' (a '&' b)) '&' ('not' (a '&' c))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) 'imp' ((('not' (a '&' b)) '&' ('not' (a '&' c))) '&' ('not' (b '&' c))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' d) '&' (a 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(b 'imp' b2) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (b 'imp' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (b 'imp' b2))) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (b 'imp' b2))) '&' (c 'imp' c2)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (b 'imp' b2))) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (b 'imp' b2))) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (a 'imp' d)) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(c 'imp' c2) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' ((c 'imp' c2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' (b 'imp' b2)) '&' (c 'imp' c2)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (c 'imp' c2)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' (a 'imp' d)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (a 'imp' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (a 'imp' d)) '&' (c 'imp' c2) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (a 'imp' d)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (a 'imp' d)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (a 'imp' d)) '&' (c 'imp' c2)) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ((a 'imp' d) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ((a 'imp' d) '&' (c 'imp' c2))) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ((a 'imp' d) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ((a 'imp' d) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' ('not' (d '&' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ((a 'imp' d) '&' (c 'imp' c2))) '&' ('not' (d '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ((a 'imp' d) '&' (c 'imp' c2))) '&' ('not' (d '&' c2))) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ((a 'imp' d) '&' (c 'imp' c2))) '&' ('not' (d '&' c2))) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' ('not' (d '&' b2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ('not' (d '&' b2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' ((b 'imp' b2) '&' (c 'imp' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2)))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ('not' (b2 '&' c2)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' ((b 'imp' b2) '&' (c 'imp' c2))) '&' ('not' (b2 '&' c2))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a 'imp' d) '&' (b 'imp' b2)) '&' ('not' (d '&' b2))) '&' (((b 'imp' b2) '&' (c 'imp' c2)) '&' ('not' (b2 '&' c2)))) '&' (((a 'imp' d) '&' (c 'imp' c2)) '&' ('not' (d '&' c2))) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
d is non empty set
K20(d,BOOLEAN) is set
K19(K20(d,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(d,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(d,BOOLEAN))
b2 '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(d,BOOLEAN))
g is V6() quasi_total boolean-valued Element of K19(K20(d,BOOLEAN))
(b2 '&' c2) '&' g is V6() quasi_total boolean-valued Element of K19(K20(d,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
b2 is non empty set
K20(b2,BOOLEAN) is set
K19(K20(b2,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(b2,BOOLEAN))
g is V6() quasi_total boolean-valued Element of K19(K20(b2,BOOLEAN))
c2 '&' g is V6() quasi_total boolean-valued Element of K19(K20(b2,BOOLEAN))
c₉ is V6() quasi_total boolean-valued Element of K19(K20(b2,BOOLEAN))
(c2 '&' g) '&' c₉ is V6() quasi_total boolean-valued Element of K19(K20(b2,BOOLEAN))
c₁₀ is V6() quasi_total boolean-valued Element of K19(K20(b2,BOOLEAN))
((c2 '&' g) '&' c₉) '&' c₁₀ is V6() quasi_total boolean-valued Element of K19(K20(b2,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
c2 is non empty set
K20(c2,BOOLEAN) is set
K19(K20(c2,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' b) '&' c) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
g is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
c₉ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
g '&' c₉ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
c₁₀ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
(g '&' c₉) '&' c₁₀ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
c₁₁ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
((g '&' c₉) '&' c₁₀) '&' c₁₁ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
c₁₂ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
(((g '&' c₉) '&' c₁₀) '&' c₁₁) '&' c₁₂ is V6() quasi_total boolean-valued Element of K19(K20(c2,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
g is non empty set
K20(g,BOOLEAN) is set
K19(K20(g,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' b) '&' c) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' b) '&' c) '&' d) '&' b2) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c₉ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
c₁₀ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
c₉ '&' c₁₀ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
c₁₁ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
(c₉ '&' c₁₀) '&' c₁₁ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
c₁₂ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
((c₉ '&' c₁₀) '&' c₁₁) '&' c₁₂ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
c₁₃ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
(((c₉ '&' c₁₀) '&' c₁₁) '&' c₁₂) '&' c₁₃ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
c₁₄ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
((((c₉ '&' c₁₀) '&' c₁₁) '&' c₁₂) '&' c₁₃) '&' c₁₄ is V6() quasi_total boolean-valued Element of K19(K20(g,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
c₉ is non empty set
K20(c₉,BOOLEAN) is set
K19(K20(c₉,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a '&' b) '&' c) '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((a '&' b) '&' c) '&' d) '&' b2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((((a '&' b) '&' c) '&' d) '&' b2) '&' c2 is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(((((a '&' b) '&' c) '&' d) '&' b2) '&' c2) '&' g is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c₁₀ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
c₁₁ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
c₁₀ '&' c₁₁ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
c₁₂ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
(c₁₀ '&' c₁₁) '&' c₁₂ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
c₁₃ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
((c₁₀ '&' c₁₁) '&' c₁₂) '&' c₁₃ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
c₁₄ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
(((c₁₀ '&' c₁₁) '&' c₁₂) '&' c₁₃) '&' c₁₄ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
c₁₅ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
((((c₁₀ '&' c₁₁) '&' c₁₂) '&' c₁₃) '&' c₁₄) '&' c₁₅ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
c₁₆ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
(((((c₁₀ '&' c₁₁) '&' c₁₂) '&' c₁₃) '&' c₁₄) '&' c₁₅) '&' c₁₆ is V6() quasi_total boolean-valued Element of K19(K20(c₉,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b '&' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) 'imp' (b '&' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' b) 'imp' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (a '&' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a '&' b)) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' ('not' b)) 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' ('not' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' a) 'or' ('not' ('not' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(('not' a) 'or' ('not' ('not' c))) 'or' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
'not' (a '&' ('not' c)) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
('not' (a '&' ('not' c))) 'or' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' ('not' c)) 'imp' ('not' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) '&' (c 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' b) '&' (c 'imp' b)) '&' (a 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' c) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'or' c) 'imp' b) '&' (a 'or' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'imp' b) 'or' (c 'imp' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
((a 'imp' b) 'or' (c 'imp' b)) '&' (a '&' c) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a '&' c) 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' c is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b 'or' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
c 'imp' d is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
(a 'or' c) 'imp' (b 'or' d) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'imp' (a 'or' b) is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
I_el Y is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
Y is non empty set
K20(Y,BOOLEAN) is set
K19(K20(Y,BOOLEAN)) is set
a is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a '&' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))
a 'or' b is V6() quasi_total boolean-valued Element of K19(K20(Y,BOOLEAN))