:: BVFUNC25 semantic presentation

K114() is M2(K10(K110()))
K110() is set
K10(K110()) is set
K109() is set
K10(K109()) is set
K10(K114()) is set
BOOLEAN is non empty set
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'imp' ('not' b)) 'imp' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'imp' ('not' b))) 'or' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' ('not' a)) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' ('not' a)) 'or' ('not' b))) 'or' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' ('not' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' ('not' ('not' b))) 'or' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' b) 'or' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' b) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' b) 'or' ('not' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) '&' (b 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' b)) '&' (b 'or' ('not' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' b)) '&' (I_el Y)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (('not' a) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'imp' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (('not' b) 'imp' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'imp' ('not' a)) 'imp' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'eqv' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'imp' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'imp' ('not' b)) '&' (('not' b) 'imp' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'imp' a) '&' (('not' b) 'imp' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'imp' a) '&' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' a) '&' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) 'imp' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' (a '&' b)) '&' (b 'imp' (a '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) '&' (b 'imp' (a '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) '&' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
O_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' ('not' a)) '&' (('not' a) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' a)) '&' (('not' a) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' (('not' ('not' a)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' (a 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (a 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (a 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'imp' b)) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' b)) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ('not' b)) 'or' ('not' a)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' a)) '&' (('not' b) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' a)) '&' (('not' b) 'or' ('not' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (('not' b) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) '&' (('not' b) 'or' ('not' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'xor' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'eqv' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' (a 'eqv' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'xor' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (b 'xor' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'xor' (a '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' b)) '&' (a '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' ('not' (a '&' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (a '&' b)) '&' (a '&' c)) 'or' ((a '&' b) '&' ('not' (a '&' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) '&' (a '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' b)) '&' (a '&' c)) 'or' ((a '&' b) '&' ('not' (a '&' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' c) '&' (('not' a) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' (('not' a) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' (('not' a) 'or' ('not' b))) 'or' ((a '&' b) '&' (('not' a) 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' c) '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' c) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ('not' a)) 'or' ((a '&' c) '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ('not' a)) 'or' ((a '&' c) '&' ('not' b))) 'or' ((a '&' b) '&' (('not' a) 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' a)) 'or' ((a '&' b) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ('not' a)) 'or' ((a '&' c) '&' ('not' b))) 'or' (((a '&' b) '&' ('not' a)) 'or' ((a '&' b) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' c)) 'or' ((a '&' b) '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ('not' b)) 'or' (((a '&' b) '&' ('not' c)) 'or' ((a '&' b) '&' ('not' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ('not' a)) 'or' (((a '&' c) '&' ('not' b)) 'or' (((a '&' b) '&' ('not' c)) 'or' ((a '&' b) '&' ('not' a)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ('not' b)) 'or' ((a '&' b) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ('not' b)) 'or' ((a '&' b) '&' ('not' c))) 'or' ((a '&' b) '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ('not' a)) 'or' ((((a '&' c) '&' ('not' b)) 'or' ((a '&' b) '&' ('not' c))) 'or' ((a '&' b) '&' ('not' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ('not' a)) 'or' ((a '&' b) '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ('not' a)) 'or' ((a '&' b) '&' ('not' a))) 'or' (((a '&' c) '&' ('not' b)) 'or' ((a '&' b) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(c '&' a) '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' a) '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((c '&' a) '&' ('not' a)) 'or' ((b '&' a) '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c '&' (a '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(c '&' (a '&' ('not' a))) 'or' ((b '&' a) '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' (a '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(c '&' (a '&' ('not' a))) 'or' (b '&' (a '&' ('not' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
O_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c '&' (O_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(c '&' (O_el Y)) 'or' (b '&' (a '&' ('not' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' (O_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(c '&' (O_el Y)) 'or' (b '&' (O_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(O_el Y) 'or' (b '&' (O_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(O_el Y) 'or' (O_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) '&' c) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((('not' b) '&' c) 'or' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (('not' b) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (('not' b) '&' c)) 'or' (a '&' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ('not' b)) 'or' (a '&' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'xor' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'eqv' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' (a 'eqv' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
O_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' a) 'or' (a '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' ('not' a)) 'or' (a '&' ('not' ('not' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'imp' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'imp' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' b)) 'or' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ('not' b)) 'or' ('not' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' b)) '&' (('not' b) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' b)) '&' (('not' b) 'or' ('not' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' b)) 'or' a) '&' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (a 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' (a 'or' a)) '&' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (('not' a) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' b) 'or' (a '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'or' (('not' a) '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (a 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (('not' ('not' a)) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'xor' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'xor' (b 'xor' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'xor' b) 'xor' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' b) 'or' (a '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' b) 'or' (a '&' ('not' b))) 'xor' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((('not' a) '&' b) 'or' (a '&' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((('not' a) '&' b) 'or' (a '&' ('not' b)))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' b) 'or' (a '&' ('not' b))) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((('not' a) '&' b) 'or' (a '&' ('not' b)))) '&' c) 'or' (((('not' a) '&' b) 'or' (a '&' ('not' b))) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) '&' b)) '&' ('not' (a '&' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (('not' a) '&' b)) '&' ('not' (a '&' ('not' b)))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' (('not' a) '&' b)) '&' ('not' (a '&' ('not' b)))) '&' c) 'or' (((('not' a) '&' b) 'or' (a '&' ('not' b))) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) 'or' ('not' b)) '&' ('not' (a '&' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' ('not' a)) 'or' ('not' b)) '&' ('not' (a '&' ('not' b)))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' ('not' a)) 'or' ('not' b)) '&' ('not' (a '&' ('not' b)))) '&' c) 'or' (((('not' a) '&' b) 'or' (a '&' ('not' b))) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' b)) '&' (('not' a) 'or' ('not' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' b)) '&' (('not' a) 'or' ('not' ('not' b)))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' ('not' b)) '&' (('not' a) 'or' ('not' ('not' b)))) '&' c) 'or' (((('not' a) '&' b) 'or' (a '&' ('not' b))) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' b)) '&' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' b)) '&' (('not' a) 'or' b)) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' b) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' b) '&' ('not' c)) 'or' ((a '&' ('not' b)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' ('not' b)) '&' (('not' a) 'or' b)) '&' c) 'or' (((('not' a) '&' b) '&' ('not' c)) 'or' ((a '&' ('not' b)) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'or' (('not' a) '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) 'or' (('not' a) '&' ('not' b))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) 'or' (('not' a) '&' ('not' b))) '&' c) 'or' (((('not' a) '&' b) '&' ('not' c)) 'or' ((a '&' ('not' b)) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' ('not' b)) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'or' ((('not' a) '&' ('not' b)) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' c) 'or' ((('not' a) '&' ('not' b)) '&' c)) 'or' (((('not' a) '&' b) '&' ('not' c)) 'or' ((a '&' ('not' b)) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ('not' b)) '&' ('not' c)) 'or' ((('not' a) '&' b) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'or' (((a '&' ('not' b)) '&' ('not' c)) 'or' ((('not' a) '&' b) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' c) 'or' (((a '&' ('not' b)) '&' ('not' c)) 'or' ((('not' a) '&' b) '&' ('not' c)))) 'or' ((('not' a) '&' ('not' b)) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'or' ((a '&' ('not' b)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' c) 'or' ((a '&' ('not' b)) '&' ('not' c))) 'or' ((('not' a) '&' b) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((a '&' b) '&' c) 'or' ((a '&' ('not' b)) '&' ('not' c))) 'or' ((('not' a) '&' b) '&' ('not' c))) 'or' ((('not' a) '&' ('not' b)) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' (b 'xor' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (b 'xor' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' (b 'xor' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' (b 'xor' c)) 'or' (a '&' ('not' (b 'xor' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) '&' c) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' ((('not' b) '&' c) 'or' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' ((('not' b) '&' c) 'or' (b '&' ('not' c)))) 'or' (a '&' ('not' (b 'xor' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((('not' b) '&' c) 'or' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' ((('not' b) '&' c) 'or' (b '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' ((('not' b) '&' c) 'or' (b '&' ('not' c)))) 'or' (a '&' ('not' ((('not' b) '&' c) 'or' (b '&' ('not' c))))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' (('not' b) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' (('not' b) '&' c)) 'or' (('not' a) '&' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' (('not' b) '&' c)) 'or' (('not' a) '&' (b '&' ('not' c)))) 'or' (a '&' ('not' ((('not' b) '&' c) 'or' (b '&' ('not' c))))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' b) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' b) '&' c)) '&' ('not' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (('not' (('not' b) '&' c)) '&' ('not' (b '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' (('not' b) '&' c)) 'or' (('not' a) '&' (b '&' ('not' c)))) 'or' (a '&' (('not' (('not' b) '&' c)) '&' ('not' (b '&' ('not' c))))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' b)) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' b)) 'or' ('not' c)) '&' ('not' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((('not' ('not' b)) 'or' ('not' c)) '&' ('not' (b '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' (('not' b) '&' c)) 'or' (('not' a) '&' (b '&' ('not' c)))) 'or' (a '&' ((('not' ('not' b)) 'or' ('not' c)) '&' ('not' (b '&' ('not' c))))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ('not' c)) '&' (('not' b) 'or' ('not' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((b 'or' ('not' c)) '&' (('not' b) 'or' ('not' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' (('not' b) '&' c)) 'or' (('not' a) '&' (b '&' ('not' c)))) 'or' (a '&' ((b 'or' ('not' c)) '&' (('not' b) 'or' ('not' ('not' c))))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' c) 'or' (('not' b) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((b '&' c) 'or' (('not' b) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' (('not' b) '&' c)) 'or' (('not' a) '&' (b '&' ('not' c)))) 'or' (a '&' ((b '&' c) 'or' (('not' b) '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (('not' b) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (b '&' c)) 'or' (a '&' (('not' b) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' (('not' b) '&' c)) 'or' (('not' a) '&' (b '&' ('not' c)))) 'or' ((a '&' (b '&' c)) 'or' (a '&' (('not' b) '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' ('not' b)) '&' c) 'or' (('not' a) '&' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) '&' ('not' b)) '&' c) 'or' (('not' a) '&' (b '&' ('not' c)))) 'or' ((a '&' (b '&' c)) 'or' (a '&' (('not' b) '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' ('not' b)) '&' c) 'or' ((('not' a) '&' b) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) '&' ('not' b)) '&' c) 'or' ((('not' a) '&' b) '&' ('not' c))) 'or' ((a '&' (b '&' c)) 'or' (a '&' (('not' b) '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'or' (a '&' (('not' b) '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) '&' ('not' b)) '&' c) 'or' ((('not' a) '&' b) '&' ('not' c))) 'or' (((a '&' b) '&' c) 'or' (a '&' (('not' b) '&' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' b) '&' ('not' c)) 'or' ((('not' a) '&' ('not' b)) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' c) 'or' ((a '&' ('not' b)) '&' ('not' c))) 'or' (((('not' a) '&' b) '&' ('not' c)) 'or' ((('not' a) '&' ('not' b)) '&' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'eqv' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' (b 'eqv' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'eqv' b) 'eqv' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'eqv' b) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c 'imp' (a 'eqv' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'eqv' b) 'imp' c) '&' (c 'imp' (a 'eqv' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) '&' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'imp' b) '&' (b 'imp' a)) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'imp' b) '&' (b 'imp' a)) 'imp' c) '&' (c 'imp' (a 'eqv' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c 'imp' ((a 'imp' b) '&' (b 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'imp' b) '&' (b 'imp' a)) 'imp' c) '&' (c 'imp' ((a 'imp' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' b) '&' (b 'imp' a)) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' b) '&' (b 'imp' a)) 'imp' c) '&' (c 'imp' ((a 'imp' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' b) '&' (('not' b) 'or' a)) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' b) '&' (('not' b) 'or' a)) 'imp' c) '&' (c 'imp' ((a 'imp' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((('not' a) 'or' b) '&' (('not' b) 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) 'or' c) '&' (c 'imp' ((a 'imp' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ((a 'imp' b) '&' (b 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) 'or' c) '&' (('not' c) 'or' ((a 'imp' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ((('not' a) 'or' b) '&' (b 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) 'or' c) '&' (('not' c) 'or' ((('not' a) 'or' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ((('not' a) 'or' b) '&' (('not' b) 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) 'or' c) '&' (('not' c) 'or' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' ('not' (('not' b) 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (('not' a) 'or' b)) 'or' ('not' (('not' b) 'or' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' (('not' a) 'or' b)) 'or' ('not' (('not' b) 'or' a))) 'or' c) '&' (('not' c) 'or' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' b)) 'or' ('not' (('not' b) 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' ('not' a)) '&' ('not' b)) 'or' ('not' (('not' b) 'or' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' ('not' a)) '&' ('not' b)) 'or' ('not' (('not' b) 'or' a))) 'or' c) '&' (('not' c) 'or' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' b)) '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (('not' ('not' b)) '&' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ('not' b)) 'or' (('not' ('not' b)) '&' ('not' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' ('not' b)) 'or' (('not' ('not' b)) '&' ('not' a))) 'or' c) '&' (('not' c) 'or' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (('not' a) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (('not' a) 'or' ('not' b))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) '&' (('not' a) 'or' ('not' b))) 'or' c) '&' (('not' c) 'or' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' ((('not' a) 'or' ('not' b)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' ((('not' a) 'or' ('not' b)) 'or' c)) '&' (('not' c) 'or' ((('not' a) 'or' b) '&' (('not' b) 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' b)) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' b)) 'or' ('not' c)) '&' ((('not' a) 'or' b) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' ((('not' a) 'or' ('not' b)) 'or' c)) '&' (((a 'or' ('not' b)) 'or' ('not' c)) '&' ((('not' a) 'or' b) 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' (((a 'or' ('not' b)) 'or' ('not' c)) '&' ((('not' a) 'or' b) 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' (((a 'or' ('not' b)) 'or' ('not' c)) '&' ((('not' a) 'or' b) 'or' ('not' c)))) '&' ((('not' a) 'or' ('not' b)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' ((a 'or' ('not' b)) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' ((a 'or' ('not' b)) 'or' ('not' c))) '&' ((('not' a) 'or' b) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((a 'or' b) 'or' c) '&' ((a 'or' ('not' b)) 'or' ('not' c))) '&' ((('not' a) 'or' b) 'or' ('not' c))) '&' ((('not' a) 'or' ('not' b)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (b 'eqv' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'eqv' c) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' (b 'eqv' c)) '&' ((b 'eqv' c) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'imp' c) '&' (c 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' ((b 'imp' c) '&' (c 'imp' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' ((b 'imp' c) '&' (c 'imp' b))) '&' ((b 'eqv' c) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'imp' c) '&' (c 'imp' b)) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' ((b 'imp' c) '&' (c 'imp' b))) '&' (((b 'imp' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((b 'imp' c) '&' (c 'imp' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((b 'imp' c) '&' (c 'imp' b))) '&' (((b 'imp' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' c) '&' (c 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((('not' b) 'or' c) '&' (c 'imp' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (c 'imp' b))) '&' (((b 'imp' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' c) '&' (('not' c) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' (((b 'imp' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) 'or' c) '&' (c 'imp' b)) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' (((('not' b) 'or' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) 'or' c) '&' (('not' c) 'or' b)) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' (((('not' b) 'or' c) '&' (('not' c) 'or' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((('not' b) 'or' c) '&' (('not' c) 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' (('not' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' c) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' b) 'or' c)) 'or' ('not' (('not' c) 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (('not' b) 'or' c)) 'or' ('not' (('not' c) 'or' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' ((('not' (('not' b) 'or' c)) 'or' ('not' (('not' c) 'or' b))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' b)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' b)) '&' ('not' c)) 'or' ('not' (('not' c) 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' ('not' b)) '&' ('not' c)) 'or' ('not' (('not' c) 'or' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' (((('not' ('not' b)) '&' ('not' c)) 'or' ('not' (('not' c) 'or' b))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' c)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' ('not' c)) 'or' (('not' ('not' c)) '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' (('not' ('not' c)) '&' ('not' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' (((b '&' ('not' c)) 'or' (('not' ('not' c)) '&' ('not' b))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' c) '&' (('not' b) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' c) '&' (('not' b) 'or' ('not' c))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ((('not' b) 'or' c) '&' (('not' c) 'or' b))) '&' (((b 'or' c) '&' (('not' b) 'or' ('not' c))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' c) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' (('not' b) 'or' c)) '&' (('not' a) 'or' (('not' c) 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' (('not' b) 'or' c)) '&' (('not' a) 'or' (('not' c) 'or' b))) '&' (((b 'or' c) '&' (('not' b) 'or' ('not' c))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (b 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' b)) 'or' c) '&' (('not' a) 'or' (b 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' b)) 'or' c) '&' (('not' a) 'or' (b 'or' ('not' c)))) '&' (((b 'or' c) '&' (('not' b) 'or' ('not' c))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' b)) 'or' c) '&' ((('not' a) 'or' b) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' b)) 'or' c) '&' ((('not' a) 'or' b) 'or' ('not' c))) '&' (((b 'or' c) '&' (('not' b) 'or' ('not' c))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (b 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (('not' b) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' (b 'or' c)) '&' (a 'or' (('not' b) 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' b)) 'or' c) '&' ((('not' a) 'or' b) 'or' ('not' c))) '&' ((a 'or' (b 'or' c)) '&' (a 'or' (('not' b) 'or' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' (a 'or' (('not' b) 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' b)) 'or' c) '&' ((('not' a) 'or' b) 'or' ('not' c))) '&' (((a 'or' b) 'or' c) '&' (a 'or' (('not' b) 'or' ('not' c)))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' b)) 'or' c) '&' ((('not' a) 'or' b) 'or' ('not' c))) '&' (((a 'or' b) 'or' c) '&' ((a 'or' ('not' b)) 'or' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'imp' b) '&' a) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (('not' a) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' a) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' ('not' a)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'imp' a) 'eqv' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'imp' a) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (('not' a) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'imp' a) 'imp' a) '&' (a 'imp' (('not' a) 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (a 'imp' (('not' a) 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' a)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'or' (c 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'or' (c 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'or' (('not' c) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' (a 'or' (('not' a) 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' a)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ((a 'or' ('not' a)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ((I_el Y) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'or' (('not' a) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'or' (('not' a) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'or' (('not' ('not' a)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (('not' a) 'or' (a 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ((('not' a) 'or' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ((I_el Y) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'or' (a 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'or' (a 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) 'or' (('not' a) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (('not' b) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (b 'or' (('not' b) 'or' ('not' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ('not' b)) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((b 'or' ('not' b)) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((I_el Y) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'eqv' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' (('not' b) 'eqv' (b 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' (('not' b) 'eqv' (b 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'imp' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'imp' a) 'imp' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'imp' (b 'imp' a)) '&' ((b 'imp' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((('not' b) 'imp' (b 'imp' a)) '&' ((b 'imp' a) 'imp' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' b)) 'or' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' b)) 'or' (b 'imp' a)) '&' ((b 'imp' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((('not' ('not' b)) 'or' (b 'imp' a)) '&' ((b 'imp' a) 'imp' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' (('not' b) 'or' a)) '&' ((b 'imp' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((b 'or' (('not' b) 'or' a)) '&' ((b 'imp' a) 'imp' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ('not' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' b)) 'or' a) '&' ((b 'imp' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (((b 'or' ('not' b)) 'or' a) '&' ((b 'imp' a) 'imp' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) 'or' a) '&' ((b 'imp' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (((I_el Y) 'or' a) '&' ((b 'imp' a) 'imp' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' ((b 'imp' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((I_el Y) '&' ((b 'imp' a) 'imp' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((b 'imp' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' a) 'imp' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((('not' b) 'or' a) 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' b) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' b) 'or' a)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (('not' (('not' b) 'or' a)) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' b)) '&' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' b)) '&' ('not' a)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((('not' ('not' b)) '&' ('not' a)) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ('not' b)) '&' (('not' a) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((b 'or' ('not' b)) '&' (('not' a) 'or' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (('not' a) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ((I_el Y) '&' (('not' a) 'or' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (('not' a) 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' a)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' c) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'imp' c) 'imp' b) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (((a 'imp' c) 'imp' b) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'imp' b)) 'or' (((a 'imp' c) 'imp' b) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' (((a 'imp' c) 'imp' b) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' b)) 'or' (((a 'imp' c) 'imp' b) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((a 'imp' c) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((a 'imp' c) 'imp' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (('not' ((a 'imp' c) 'imp' b)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' c) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((('not' a) 'or' c) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((('not' a) 'or' c) 'imp' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (('not' ((('not' a) 'or' c) 'imp' b)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' c)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' (('not' a) 'or' c)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' (('not' a) 'or' c)) 'or' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (('not' (('not' (('not' a) 'or' c)) 'or' b)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' c)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((('not' ('not' a)) '&' ('not' c)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((('not' ('not' a)) '&' ('not' c)) 'or' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (('not' ((('not' ('not' a)) '&' ('not' c)) 'or' b)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' ('not' c))) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (a '&' ('not' c))) '&' ('not' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' ((('not' (a '&' ('not' c))) '&' ('not' b)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' ('not' c))) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' ('not' c))) '&' ('not' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (((('not' a) 'or' ('not' ('not' c))) '&' ('not' b)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' c) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' c) 'or' b) '&' (('not' b) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (((('not' a) 'or' c) 'or' b) '&' (('not' b) 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' c) 'or' b) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' (((('not' a) 'or' c) 'or' b) '&' (I_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' ((('not' a) 'or' c) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ('not' b)) 'or' b) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (('not' b) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (('not' b) 'or' b)) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (I_el Y)) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (a 'or' (('not' a) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' a)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ((a 'or' ('not' a)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ((I_el Y) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' (a '&' b)) '&' ((a '&' b) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' (a '&' b)) '&' ((a '&' b) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' (a '&' b)) '&' (('not' (a '&' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' a) '&' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' a) '&' (('not' a) 'or' b)) '&' (('not' (a '&' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) '&' (('not' a) 'or' b)) '&' (('not' (a '&' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (('not' (a '&' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' ((('not' a) 'or' ('not' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (('not' a) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (('not' b) 'or' (('not' a) 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (('not' b) 'or' (I_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'eqv' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'imp' a) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (('not' a) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' ((a 'imp' b) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((a 'imp' b) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'imp' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' (a 'imp' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' (('not' a) 'or' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' b)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((('not' ('not' a)) '&' ('not' b)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' a) 'or' (a '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' (a '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'imp' b) 'imp' a) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' ((a 'imp' b) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'imp' a) '&' (('not' b) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (a 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' ('not' b))) '&' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'imp' a) '&' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'imp' ('not' b))) 'imp' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'imp' ('not' (a 'imp' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'imp' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (('not' b) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (a 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
d is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
d 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
d 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' (d 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(d 'imp' b) 'imp' (a 'imp' (d 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' (b 'imp' c)) 'imp' ((d 'imp' b) 'imp' (a 'imp' (d 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' (b 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'imp' (b 'imp' c))) 'or' ((d 'imp' b) 'imp' (a 'imp' (d 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' (b 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' (b 'imp' c))) 'or' ((d 'imp' b) 'imp' (a 'imp' (d 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' (('not' b) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' (('not' b) 'or' c))) 'or' ((d 'imp' b) 'imp' (a 'imp' (d 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (d 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (d 'imp' b)) 'or' (a 'imp' (d 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' (('not' b) 'or' c))) 'or' (('not' (d 'imp' b)) 'or' (a 'imp' (d 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' d is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' d) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' d) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' d) 'or' b)) 'or' (a 'imp' (d 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' (('not' b) 'or' c))) 'or' (('not' (('not' d) 'or' b)) 'or' (a 'imp' (d 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (d 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' d) 'or' b)) 'or' (('not' a) 'or' (d 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' (('not' b) 'or' c))) 'or' (('not' (('not' d) 'or' b)) 'or' (('not' a) 'or' (d 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' d) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' d) 'or' b)) 'or' (('not' a) 'or' (('not' d) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' (('not' b) 'or' c))) 'or' (('not' (('not' d) 'or' b)) 'or' (('not' a) 'or' (('not' d) 'or' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' (('not' b) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' (('not' b) 'or' c))) 'or' (('not' (('not' d) 'or' b)) 'or' (('not' a) 'or' (('not' d) 'or' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' b)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' (('not' ('not' b)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' (('not' ('not' b)) '&' ('not' c))) 'or' (('not' (('not' d) 'or' b)) 'or' (('not' a) 'or' (('not' d) 'or' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (('not' ('not' b)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' d)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' d)) '&' ('not' b)) 'or' (('not' a) 'or' (('not' d) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (('not' ('not' b)) '&' ('not' c))) 'or' ((('not' ('not' d)) '&' ('not' b)) 'or' (('not' a) 'or' (('not' d) 'or' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
d '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(d '&' ('not' b)) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((d '&' ('not' b)) 'or' ('not' a)) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (b '&' ('not' c))) 'or' (((d '&' ('not' b)) 'or' ('not' a)) 'or' (('not' d) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (d '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (b '&' ('not' c))) 'or' (('not' a) 'or' (d '&' ('not' b))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' (b '&' ('not' c))) 'or' (('not' a) 'or' (d '&' ('not' b)))) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (b '&' ('not' c))) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' (b '&' ('not' c))) 'or' ('not' a)) 'or' (d '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' (b '&' ('not' c))) 'or' ('not' a)) 'or' (d '&' ('not' b))) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' ('not' c)) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' a)) '&' ((b '&' ('not' c)) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' a)) '&' ((b '&' ('not' c)) 'or' ('not' a))) 'or' (d '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' ('not' a)) '&' ((b '&' ('not' c)) 'or' ('not' a))) 'or' (d '&' ('not' b))) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' ((b '&' ('not' c)) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) '&' ((b '&' ('not' c)) 'or' ('not' a))) 'or' (d '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((I_el Y) '&' ((b '&' ('not' c)) 'or' ('not' a))) 'or' (d '&' ('not' b))) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' ('not' a)) 'or' (d '&' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((b '&' ('not' c)) 'or' ('not' a)) 'or' (d '&' ('not' b))) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(d '&' ('not' b)) 'or' (('not' d) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' ('not' a)) 'or' ((d '&' ('not' b)) 'or' (('not' d) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) '&' d is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) '&' d) 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) '&' d) 'or' ('not' d)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' ('not' a)) 'or' (((('not' b) '&' d) 'or' ('not' d)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
d 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' ('not' d)) '&' (d 'or' ('not' d)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) 'or' ('not' d)) '&' (d 'or' ('not' d))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' ('not' a)) 'or' (((('not' b) 'or' ('not' d)) '&' (d 'or' ('not' d))) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' ('not' d)) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) 'or' ('not' d)) '&' (I_el Y)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' ('not' a)) 'or' (((('not' b) 'or' ('not' d)) '&' (I_el Y)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' ('not' d)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' ('not' a)) 'or' ((('not' b) 'or' ('not' d)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) '&' b) 'or' ((('not' b) 'or' ('not' d)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((('not' c) '&' b) 'or' ((('not' b) 'or' ('not' d)) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) '&' b) 'or' (('not' b) 'or' ('not' d)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) '&' b) 'or' (('not' b) 'or' ('not' d))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (((('not' c) '&' b) 'or' (('not' b) 'or' ('not' d))) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) '&' b) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) '&' b) 'or' ('not' b)) 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' c) '&' b) 'or' ('not' b)) 'or' ('not' d)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((((('not' c) '&' b) 'or' ('not' b)) 'or' ('not' d)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' ('not' b)) '&' (b 'or' ('not' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) 'or' ('not' b)) '&' (b 'or' ('not' b))) 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' c) 'or' ('not' b)) '&' (b 'or' ('not' b))) 'or' ('not' d)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((((('not' c) 'or' ('not' b)) '&' (b 'or' ('not' b))) 'or' ('not' d)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' ('not' b)) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) 'or' ('not' b)) '&' (I_el Y)) 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' c) 'or' ('not' b)) '&' (I_el Y)) 'or' ('not' d)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((((('not' c) 'or' ('not' b)) '&' (I_el Y)) 'or' ('not' d)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' ('not' c)) 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) 'or' ('not' c)) 'or' ('not' d)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (((('not' b) 'or' ('not' c)) 'or' ('not' d)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ('not' d) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (('not' c) 'or' ('not' d)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' (('not' c) 'or' ('not' d))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((('not' b) 'or' (('not' c) 'or' ('not' d))) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' d) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' d) 'or' ('not' c)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ((('not' d) 'or' ('not' c)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' ((('not' d) 'or' ('not' c)) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' d) 'or' (('not' c) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (('not' d) 'or' (('not' c) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' (('not' d) 'or' (('not' c) 'or' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' d) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (('not' d) 'or' (I_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' (('not' d) 'or' (I_el Y))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' (I_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'imp' b) '&' a) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'imp' b) '&' a) '&' c) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' b) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' b) '&' a) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' b) '&' a) '&' c) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' a) 'or' (b '&' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' a) 'or' (b '&' a)) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) '&' a) 'or' (b '&' a)) '&' c) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
O_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(O_el Y) 'or' (b '&' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((O_el Y) 'or' (b '&' a)) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((O_el Y) 'or' (b '&' a)) '&' c) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' a) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' a) '&' c) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((b '&' a) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((b '&' a) '&' c)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (b '&' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (b '&' a)) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (b '&' a)) 'or' ('not' c)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' ('not' a)) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) 'or' ('not' a)) 'or' ('not' c)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (('not' b) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' (('not' b) 'or' ('not' a))) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ('not' b)) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' b)) 'or' ('not' a)) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) 'or' ('not' a)) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(c '&' a) 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' ((c '&' a) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'imp' b)) 'or' ((c '&' a) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' ((c '&' a) 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (c '&' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (c '&' a)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' a) 'or' b)) 'or' (('not' (c '&' a)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' a)) '&' ('not' b)) 'or' (('not' (c '&' a)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' ('not' a)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' ((('not' c) 'or' ('not' a)) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ('not' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ('not' b)) 'or' b) 'or' (('not' c) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (('not' b) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (('not' b) 'or' b)) 'or' (('not' c) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (I_el Y)) 'or' (('not' c) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' ('not' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' ('not' a)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) 'or' ('not' a)) 'or' a) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' (('not' a) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' (('not' a) 'or' a)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' (I_el Y)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'imp' (c '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) 'imp' c) 'imp' ((a '&' b) 'imp' (c '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' b)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (a '&' b)) 'or' c) 'imp' ((a '&' b) 'imp' (c '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' (a '&' b)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' (a '&' b)) 'or' c)) 'or' ((a '&' b) 'imp' (c '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' b)) 'or' (c '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' (a '&' b)) 'or' c)) 'or' (('not' (a '&' b)) 'or' (c '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' (a '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' (a '&' b))) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ('not' (a '&' b))) '&' ('not' c)) 'or' (('not' (a '&' b)) 'or' (c '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' b)) 'or' (c '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' c)) 'or' ((('not' a) 'or' ('not' b)) 'or' (c '&' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' (b '&' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' c)) 'or' (('not' a) 'or' (('not' b) 'or' (b '&' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' b) '&' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((('not' b) 'or' b) '&' (('not' b) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' c)) 'or' (('not' a) 'or' ((('not' b) 'or' b) '&' (('not' b) 'or' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ((I_el Y) '&' (('not' b) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' c)) 'or' (('not' a) 'or' ((I_el Y) '&' (('not' b) 'or' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' c)) 'or' (('not' a) 'or' (('not' b) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ('not' c)) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' ('not' c)) 'or' ('not' a)) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) 'or' ('not' a)) '&' (('not' c) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) 'or' ('not' a)) '&' (('not' c) 'or' ('not' a))) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ('not' a)) '&' (b 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ('not' a)) '&' (b 'or' ('not' a))) '&' (('not' c) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' ('not' a)) '&' (b 'or' ('not' a))) '&' (('not' c) 'or' ('not' a))) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (b 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) '&' (b 'or' ('not' a))) '&' (('not' c) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((I_el Y) '&' (b 'or' ('not' a))) '&' (('not' c) 'or' ('not' a))) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ('not' a)) '&' (('not' c) 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' a)) '&' (('not' c) 'or' ('not' a))) 'or' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' a)) '&' (('not' c) 'or' ('not' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((b 'or' ('not' a)) '&' (('not' c) 'or' ('not' a))) 'or' c) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ('not' a)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' ('not' a)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' a)) 'or' c) '&' ((('not' c) 'or' ('not' a)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((b 'or' ('not' a)) 'or' c) '&' ((('not' c) 'or' ('not' a)) 'or' c)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' c) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' a)) 'or' c) '&' (('not' a) 'or' (('not' c) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((b 'or' ('not' a)) 'or' c) '&' (('not' a) 'or' (('not' c) 'or' c))) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' a)) 'or' c) '&' (('not' a) 'or' (I_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((b 'or' ('not' a)) 'or' c) '&' (('not' a) 'or' (I_el Y))) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' a)) 'or' c) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((b 'or' ('not' a)) 'or' c) '&' (I_el Y)) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' ('not' a)) 'or' c) 'or' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (b 'or' ('not' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' (b 'or' ('not' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' b) 'or' b) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' b) 'or' b) 'or' ('not' a)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) 'or' ('not' a)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' c) 'imp' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' ((a '&' c) 'imp' (b '&' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) '&' (a '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'imp' b) '&' (a '&' c)) 'imp' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'imp' b) '&' a) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'imp' b) '&' a) '&' c) 'imp' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'imp' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (b '&' c)) 'imp' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (a 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (a 'imp' b)) '&' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' (a 'imp' b)) '&' (b 'imp' c)) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((a '&' (a 'imp' b)) '&' (b 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((a '&' (a 'imp' b)) '&' (b 'imp' c))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((a '&' b) '&' (b 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((a '&' b) '&' (b 'imp' c))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (b '&' (b 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' (b '&' (b 'imp' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' (b '&' (b 'imp' c)))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (b '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' (b '&' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' (b '&' c))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((a '&' b) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((a '&' b) '&' c)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' b)) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (a '&' b)) 'or' ('not' c)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' b)) 'or' (('not' c) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a '&' b)) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
Y is non empty set
K11(Y,BOOLEAN) is set
K10(K11(Y,BOOLEAN)) is set
a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (a 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (a 'imp' c)) '&' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'imp' (b 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) '&' (a 'imp' c)) '&' (b 'imp' c)) 'imp' (('not' a) 'imp' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (((a 'or' b) '&' (a 'imp' c)) '&' (b 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (((a 'or' b) '&' (a 'imp' c)) '&' (b 'imp' c))) 'or' (('not' a) 'imp' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (('not' a) 'or' c)) '&' (b 'imp' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (((a 'or' b) '&' (('not' a) 'or' c)) '&' (b 'imp' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (((a 'or' b) '&' (('not' a) 'or' c)) '&' (b 'imp' c))) 'or' (('not' a) 'imp' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (('not' a) 'or' c)) '&' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (((a 'or' b) '&' (('not' a) 'or' c)) '&' (('not' b) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (((a 'or' b) '&' (('not' a) 'or' c)) '&' (('not' b) 'or' c))) 'or' (('not' a) 'imp' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) 'or' (b 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (((a 'or' b) '&' (('not' a) 'or' c)) '&' (('not' b) 'or' c))) 'or' (('not' ('not' a)) 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((a 'or' b) '&' (('not' a) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' b) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((a 'or' b) '&' (('not' a) 'or' c))) 'or' ('not' (('not' b) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((a 'or' b) '&' (('not' a) 'or' c))) 'or' ('not' (('not' b) 'or' c))) 'or' (('not' ('not' a)) 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' b)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((a 'or' b) '&' (('not' a) 'or' c))) 'or' (('not' ('not' b)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((a 'or' b) '&' (('not' a) 'or' c))) 'or' (('not' ('not' b)) '&' ('not' c))) 'or' (('not' ('not' a)) 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (a 'or' b)) 'or' ('not' (('not' a) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (a 'or' b)) 'or' ('not' (('not' a) 'or' c))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' (a 'or' b)) 'or' ('not' (('not' a) 'or' c))) 'or' (b '&' ('not' c))) 'or' (('not' ('not' a)) 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' ('not' b)) 'or' ('not' (('not' a) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' ('not' b)) 'or' ('not' (('not' a) 'or' c))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' (b 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) '&' ('not' b)) 'or' ('not' (('not' a) 'or' c))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ('not' a)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' ('not' b)) 'or' (('not' ('not' a)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' ('not' b)) 'or' (('not' ('not' a)) '&' ('not' c))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) '&' ('not' b)) 'or' (('not' ('not' a)) '&' ('not' c))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (a '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' (a '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' (a '&' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' (a '&' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' (a '&' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' a) '&' (('not' a) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' a) '&' (('not' a) 'or' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' a) '&' (('not' a) 'or' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' a) '&' (('not' a) 'or' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
I_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (('not' a) 'or' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) '&' (('not' a) 'or' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((I_el Y) '&' (('not' a) 'or' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((I_el Y) '&' (('not' a) 'or' ('not' c))) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' c)) '&' (('not' b) 'or' (a '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' (('not' b) 'or' (a '&' ('not' c)))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' c)) '&' ('not' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' c)) '&' (a '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((('not' a) 'or' ('not' c)) '&' (a '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((('not' a) 'or' ('not' c)) '&' (a '&' ('not' c)))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((('not' a) 'or' ('not' c)) '&' (a '&' ('not' c)))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' c)) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' a) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((('not' a) 'or' ('not' c)) '&' a) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((('not' a) 'or' ('not' c)) '&' a) '&' ('not' c))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((('not' a) 'or' ('not' c)) '&' a) '&' ('not' c))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) '&' a) 'or' (('not' c) '&' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) '&' a) 'or' (('not' c) '&' a)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((('not' a) '&' a) 'or' (('not' c) '&' a)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((('not' a) '&' a) 'or' (('not' c) '&' a)) '&' ('not' c))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((('not' a) '&' a) 'or' (('not' c) '&' a)) '&' ('not' c))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
O_el Y is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(O_el Y) 'or' (('not' c) '&' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((O_el Y) 'or' (('not' c) '&' a)) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((O_el Y) 'or' (('not' c) '&' a)) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((O_el Y) 'or' (('not' c) '&' a)) '&' ('not' c))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((O_el Y) 'or' (('not' c) '&' a)) '&' ('not' c))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) '&' a) '&' ('not' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((('not' c) '&' a) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((('not' c) '&' a) '&' ('not' c))) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((('not' c) '&' a) '&' ('not' c))) 'or' (b '&' ('not' c))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) '&' a) '&' ('not' c)) 'or' (((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' c) '&' a) '&' ('not' c)) 'or' (((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c)))) 'or' (a 'or' (b 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' c) '&' a) '&' ('not' c)) 'or' (((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c)))) 'or' (c 'or' (a 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((('not' c) '&' a) '&' ('not' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((('not' c) '&' a) '&' ('not' c))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((('not' c) '&' a) '&' ('not' c))) 'or' c) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) '&' a) '&' ('not' c)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (((('not' c) '&' a) '&' ('not' c)) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (((('not' c) '&' a) '&' ('not' c)) 'or' c)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) '&' a) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' c) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) '&' a) 'or' c) '&' (('not' c) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (((('not' c) '&' a) 'or' c) '&' (('not' c) 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (((('not' c) '&' a) 'or' c) '&' (('not' c) 'or' c))) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' c) '&' a) 'or' c) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (((('not' c) '&' a) 'or' c) '&' (I_el Y)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (((('not' c) '&' a) 'or' c) '&' (I_el Y))) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((('not' c) '&' a) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((('not' c) '&' a) 'or' c)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' c) 'or' c) '&' (a 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((('not' c) 'or' c) '&' (a 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((('not' c) 'or' c) '&' (a 'or' c))) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) '&' (a 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((I_el Y) '&' (a 'or' c)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' ((I_el Y) '&' (a 'or' c))) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (a 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b '&' ('not' c))) 'or' (a 'or' c)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
c 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' ('not' c)) 'or' (c 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((b '&' ('not' c)) 'or' (c 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((b '&' ('not' c)) 'or' (c 'or' a))) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' ('not' c)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ('not' c)) 'or' c) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((b '&' ('not' c)) 'or' c) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((b '&' ('not' c)) 'or' c) 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' c) '&' (('not' c) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' c) '&' (('not' c) 'or' c)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((b 'or' c) '&' (('not' c) 'or' c)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((b 'or' c) '&' (('not' c) 'or' c)) 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' c) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' c) '&' (I_el Y)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((b 'or' c) '&' (I_el Y)) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (((b 'or' c) '&' (I_el Y)) 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' c) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((b 'or' c) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' ((b 'or' c) 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' (c 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b 'or' (c 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' (b 'or' (c 'or' a))) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' b) 'or' (c 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) '&' ('not' b)) 'or' b) 'or' (c 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' c)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' b) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) 'or' b) '&' (('not' b) 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) 'or' b) '&' (('not' b) 'or' b)) 'or' (c 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) 'or' b) '&' (('not' b) 'or' b)) 'or' (c 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) 'or' b) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) 'or' b) '&' (I_el Y)) 'or' (c 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) 'or' b) '&' (I_el Y)) 'or' (c 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) 'or' b) 'or' (c 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) 'or' b) 'or' (c 'or' a)) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) 'or' b) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) 'or' b) 'or' c) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) 'or' b) 'or' c) 'or' a) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' ('not' c)) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' ('not' c)) 'or' c) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' ('not' c)) 'or' c) 'or' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((('not' a) 'or' ('not' c)) 'or' c) 'or' b) 'or' a) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (('not' c) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' (('not' c) 'or' c)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' (('not' c) 'or' c)) 'or' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' (('not' c) 'or' c)) 'or' b) 'or' a) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' a) 'or' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' a) 'or' (I_el Y)) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' a) 'or' (I_el Y)) 'or' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' a) 'or' (I_el Y)) 'or' b) 'or' a) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) 'or' b) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((I_el Y) 'or' b) 'or' a) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) 'or' a) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(I_el Y) 'or' (a 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))