:: 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 '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) '&' () 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)))
() 'imp' () 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)))
(() 'imp' ()) 'imp' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'imp' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (() 'imp' ())) 'or' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (('not' ()) 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (('not' ()) 'or' ())) 'or' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' ('not' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' ('not' ())) 'or' (b '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)))
() 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' b) 'or' (() 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' b) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' b) 'or' ()) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ()) '&' (b 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' ()) '&' (b 'or' ())) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ()) '&' (I_el Y) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' ()) '&' (I_el Y)) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ()) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' (() 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '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)))
() 'imp' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (() 'imp' ()) 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)))
(() 'imp' ()) '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)))
() 'eqv' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'imp' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'imp' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'imp' ()) '&' (() 'imp' ()) 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) '&' (() 'imp' ()) 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)))
() 'or' (a '&' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' 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) '&' (() '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' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'imp' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' ()) '&' (() 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ()) '&' (() 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' (('not' ()) '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)))
() '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)))
() 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '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)))
() 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'imp' b) 'imp' (() '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' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (() 'or' b)) 'or' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () 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' ()) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ()) '&' ()) 'or' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ()) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ()) 'or' ()) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ()) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ()) '&' (() 'or' ())) '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) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((I_el Y) '&' (() 'or' ())) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ()) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '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' () 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)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ()) '&' (a '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' ()) '&' (a '&' c)) 'or' ((a '&' b) '&' ('not' (a '&' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' c) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' (() 'or' ())) 'or' ((a '&' b) '&' (() 'or' ())) 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 '&' c) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ()) 'or' ((a '&' c) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ()) 'or' ((a '&' c) '&' ())) 'or' ((a '&' b) '&' (() 'or' ())) 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) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ()) 'or' ((a '&' b) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ()) 'or' ((a '&' c) '&' ())) 'or' (((a '&' b) '&' ()) 'or' ((a '&' b) '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' ()) 'or' ((a '&' b) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ()) 'or' (((a '&' b) '&' ()) 'or' ((a '&' b) '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ()) 'or' (((a '&' c) '&' ()) 'or' (((a '&' b) '&' ()) 'or' ((a '&' b) '&' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ()) 'or' ((a '&' b) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ()) 'or' ((a '&' b) '&' ())) 'or' ((a '&' b) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ()) 'or' ((((a '&' c) '&' ()) 'or' ((a '&' b) '&' ())) 'or' ((a '&' b) '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ()) 'or' ((a '&' b) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' c) '&' ()) 'or' ((a '&' b) '&' ())) 'or' (((a '&' c) '&' ()) 'or' ((a '&' b) '&' ())) 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) '&' () 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) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((c '&' a) '&' ()) 'or' ((b '&' a) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' () 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 '&' ())) 'or' ((b '&' 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)))
(c '&' (a '&' ())) 'or' (b '&' (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 '&' ())) 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)))
() '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' c) 'or' (b '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((() '&' c) 'or' (b '&' ())) 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 '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (() '&' c)) 'or' (a '&' (b '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' c) '&' ()) 'or' (a '&' (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 '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)))
() '&' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
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)))
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' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ('not' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' ()) 'or' (a '&' ('not' ())) 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)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '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)))
() 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' b) 'imp' (() 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (() 'or' b)) 'or' (() 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ()) '&' ()) 'or' (() 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ()) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ()) 'or' ()) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ()) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ()) '&' (() 'or' ())) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ()) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ()) 'or' a) '&' (() '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)))
() 'or' (a 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' (a 'or' 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)))
'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)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' b) 'or' (a '&' ()) 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)))
() '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'or' (() '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' b) '&' (a 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' b) '&' (('not' ()) 'or' ()) 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)))
() '&' 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 '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' b) 'or' (a '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' b) 'or' (a '&' ())) 'xor' c 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' ((() '&' b) 'or' (a '&' ()))) '&' 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)))
((() '&' b) 'or' (a '&' ())) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((() '&' b) 'or' (a '&' ()))) '&' c) 'or' (((() '&' 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 '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (() '&' b)) '&' ('not' (a '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (() '&' b)) '&' ('not' (a '&' ()))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' (() '&' b)) '&' ('not' (a '&' ()))) '&' c) 'or' (((() '&' b) 'or' (a '&' ())) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ()) 'or' ()) '&' ('not' (a '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' ()) 'or' ()) '&' ('not' (a '&' ()))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' ()) 'or' ()) '&' ('not' (a '&' ()))) '&' c) 'or' (((() '&' b) 'or' (a '&' ())) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' ('not' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ()) '&' (() 'or' ('not' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ()) '&' (() 'or' ('not' ()))) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' ()) '&' (() 'or' ('not' ()))) '&' c) 'or' (((() '&' b) 'or' (a '&' ())) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ()) '&' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ()) '&' (() 'or' b)) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' b) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ()) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' b) '&' ()) 'or' ((a '&' ()) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' ()) '&' (() 'or' b)) '&' c) 'or' (((() '&' b) '&' ()) 'or' ((a '&' ()) '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' b) 'or' (() '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) 'or' (() '&' ())) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) 'or' (() '&' ())) '&' c) 'or' (((() '&' b) '&' ()) 'or' ((a '&' ()) '&' ())) 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)))
(() '&' ()) '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'or' ((() '&' ()) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' c) 'or' ((() '&' ()) '&' c)) 'or' (((() '&' 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)))
((a '&' b) '&' c) 'or' (((a '&' ()) '&' ()) 'or' ((() '&' b) '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' c) 'or' (((a '&' ()) '&' ()) 'or' ((() '&' b) '&' ()))) 'or' ((() '&' ()) '&' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'or' ((a '&' ()) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' b) '&' c) 'or' ((a '&' ()) '&' ())) 'or' ((() '&' b) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((a '&' b) '&' c) 'or' ((a '&' ()) '&' ())) 'or' ((() '&' b) '&' ())) 'or' ((() '&' ()) '&' 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)))
'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)))
(() '&' (b 'xor' c)) 'or' (a '&' ('not' (b 'xor' c))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' c) 'or' (b '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' ((() '&' c) 'or' (b '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' ((() '&' c) 'or' (b '&' ()))) 'or' (a '&' ('not' (b 'xor' c))) 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)))
a '&' ('not' ((() '&' c) 'or' (b '&' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' ((() '&' c) 'or' (b '&' ()))) 'or' (a '&' ('not' ((() '&' c) '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)))
() '&' (b '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '&' (() '&' c)) 'or' (() '&' (b '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' (() '&' c)) 'or' (() '&' (b '&' ()))) 'or' (a '&' ('not' ((() '&' c) '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' (b '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (() '&' c)) '&' ('not' (b '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' (('not' (() '&' c)) '&' ('not' (b '&' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' (() '&' c)) 'or' (() '&' (b '&' ()))) 'or' (a '&' (('not' (() '&' c)) '&' ('not' (b '&' ())))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ()) 'or' ()) '&' ('not' (b '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((('not' ()) 'or' ()) '&' ('not' (b '&' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' (() '&' c)) 'or' (() '&' (b '&' ()))) 'or' (a '&' ((('not' ()) 'or' ()) '&' ('not' (b '&' ())))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' ('not' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' ()) '&' (() 'or' ('not' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((b 'or' ()) '&' (() 'or' ('not' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' (() '&' c)) 'or' (() '&' (b '&' ()))) 'or' (a '&' ((b 'or' ()) '&' (() 'or' ('not' ())))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b '&' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' c) 'or' (() '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' ((b '&' c) 'or' (() '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' (() '&' c)) 'or' (() '&' (b '&' ()))) 'or' (a '&' ((b '&' c) 'or' (() '&' ()))) 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 '&' (() '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' (b '&' c)) 'or' (a '&' (() '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' (() '&' c)) 'or' (() '&' (b '&' ()))) 'or' ((a '&' (b '&' c)) 'or' (a '&' (() '&' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' ()) '&' c) 'or' (() '&' (b '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() '&' ()) '&' c) 'or' (() '&' (b '&' ()))) 'or' ((a '&' (b '&' c)) 'or' (a '&' (() '&' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() '&' ()) '&' c) 'or' ((() '&' b) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() '&' ()) '&' c) 'or' ((() '&' b) '&' ())) 'or' ((a '&' (b '&' c)) 'or' (a '&' (() '&' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' b) '&' c) 'or' (a '&' (() '&' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() '&' ()) '&' c) 'or' ((() '&' b) '&' ())) 'or' (((a '&' b) '&' c) '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)))
(((a '&' b) '&' c) 'or' ((a '&' ()) '&' ())) 'or' (((() '&' b) '&' ()) '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
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)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' b) '&' (b 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' b) '&' (b 'imp' a)) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() '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)))
() 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' b) '&' (() 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' b) '&' (() 'or' a)) 'imp' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() 'or' 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' ((() 'or' b) '&' (() 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((() 'or' b) '&' (() 'or' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((() 'or' 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)))
() 'or' ((a 'imp' b) '&' (b 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((() 'or' b) '&' (() 'or' a))) 'or' c) '&' (() 'or' ((a 'imp' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' ((() 'or' b) '&' (b 'imp' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((() 'or' b) '&' (() 'or' a))) 'or' c) '&' (() 'or' ((() 'or' b) '&' (b 'imp' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' ((() 'or' b) '&' (() 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ((() 'or' b) '&' (() 'or' a))) 'or' c) '&' (() 'or' ((() 'or' b) '&' (() 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (() 'or' b)) 'or' ('not' (() 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (() 'or' b)) 'or' ('not' (() 'or' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' (() 'or' b)) 'or' ('not' (() 'or' a))) 'or' c) '&' (() 'or' ((() 'or' b) '&' (() 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ()) '&' ()) 'or' ('not' (() 'or' a)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' ()) '&' ()) 'or' ('not' (() 'or' a))) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((('not' ()) '&' ()) 'or' ('not' (() 'or' a))) 'or' c) '&' (() 'or' ((() 'or' b) '&' (() 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a '&' ()) 'or' (('not' ()) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a '&' ()) 'or' (('not' ()) '&' ())) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a '&' ()) 'or' (('not' ()) '&' ())) 'or' c) '&' (() 'or' ((() 'or' 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)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' b) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) '&' (() 'or' ())) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) '&' (() 'or' ())) 'or' c) '&' (() 'or' ((() 'or' 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)))
(() 'or' ()) 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' ((() 'or' ()) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' ((() 'or' ()) 'or' c)) '&' (() 'or' ((() 'or' b) '&' (() 'or' a))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
a 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' ()) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' b) 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' ()) 'or' ()) '&' ((() 'or' b) 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' ((() 'or' ()) 'or' c)) '&' (((a 'or' ()) 'or' ()) '&' ((() 'or' b) 'or' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' (((a 'or' ()) 'or' ()) '&' ((() 'or' b) 'or' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' (((a 'or' ()) 'or' ()) '&' ((() 'or' b) 'or' ()))) '&' ((() 'or' ()) 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' ((a 'or' ()) 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((a 'or' b) 'or' c) '&' ((a 'or' ()) 'or' ())) '&' ((() 'or' b) 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((((a 'or' b) 'or' c) '&' ((a 'or' ()) 'or' ())) '&' ((() 'or' b) 'or' ())) '&' ((() 'or' ()) '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)))
() 'or' ((b 'imp' c) '&' (c 'imp' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() '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)))
() 'or' c is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' c) '&' (c 'imp' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' ((() 'or' c) '&' (c 'imp' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (c 'imp' b))) '&' (((b 'imp' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' b is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' c) '&' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' ((() 'or' c) '&' (() 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' (((b 'imp' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' c) '&' (c 'imp' b)) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' (((() 'or' c) '&' (c 'imp' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' c) '&' (() 'or' b)) 'imp' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' (((() 'or' c) '&' (() 'or' b)) 'imp' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' ((() 'or' c) '&' (() 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ((() 'or' c) '&' (() 'or' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' (('not' ((() 'or' c) '&' (() 'or' b))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
'not' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' (() 'or' c)) 'or' ('not' (() 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' (() 'or' c)) 'or' ('not' (() 'or' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' ((('not' (() 'or' c)) 'or' ('not' (() 'or' b))) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(('not' ()) '&' ()) 'or' ('not' (() 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((('not' ()) '&' ()) 'or' ('not' (() 'or' b))) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' (((('not' ()) '&' ()) 'or' ('not' (() 'or' b))) 'or' 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' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
('not' ()) '&' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b '&' ()) 'or' (('not' ()) '&' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b '&' ()) 'or' (('not' ()) '&' ())) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' (((b '&' ()) 'or' (('not' ()) '&' ())) '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)))
() 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(b 'or' c) '&' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((b 'or' c) '&' (() 'or' ())) 'or' a is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' ((() 'or' c) '&' (() 'or' b))) '&' (((b 'or' c) '&' (() 'or' ())) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' (() 'or' c) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' (() 'or' b) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(() 'or' (() 'or' c)) '&' (() 'or' (() 'or' b)) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' (() 'or' c)) '&' (() 'or' (() 'or' b))) '&' (((b 'or' c) '&' (() 'or' ())) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
b 'or' () is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
() 'or' (b 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' ()) 'or' c) '&' (() 'or' (b 'or' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() 'or' ()) 'or' c) '&' (() 'or' (b 'or' ()))) '&' (((b 'or' c) '&' (() 'or' ())) 'or' a) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((() 'or' ()) 'or' c) '&' ((() 'or' b) 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() 'or' ()) 'or' c) '&' ((() 'or' b) 'or' ())) '&' (((b 'or' c) '&' (() 'or' ())) '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' (() 'or' ()) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(a 'or' (b 'or' c)) '&' (a 'or' (() 'or' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() 'or' ()) 'or' c) '&' ((() 'or' b) 'or' ())) '&' ((a 'or' (b 'or' c)) '&' (a 'or' (() 'or' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
((a 'or' b) 'or' c) '&' (a 'or' (() 'or' ())) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() 'or' ()) 'or' c) '&' ((() 'or' b) 'or' ())) '&' (((a 'or' b) 'or' c) '&' (a 'or' (() 'or' ()))) is V12() quasi_total boolean-valued M2(K10(K11(Y,BOOLEAN)))
(((() 'or' ()) 'or' c) '&' ((() 'or' b) 'or' ())) '&' (((a 'or' b) 'or' c) '&' ((a 'or' ()) 'or' ())) 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)))