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(