:: TWOSCOMP semantic presentation

K88() is set
K92() is non empty V21() V22() V23() V34() V49() V50() Element of K19(K88())
K19(K88()) is set
K89() is set
K90() is set
K91() is set
K20(K89(),K89()) is set
K19(K20(K89(),K89())) is set
K20(K20(K89(),K89()),K89()) is set
K19(K20(K20(K89(),K89()),K89())) is set
K20(K88(),K88()) is set
K19(K20(K88(),K88())) is set
K20(K20(K88(),K88()),K88()) is set
K19(K20(K20(K88(),K88()),K88())) is set
K20(K90(),K90()) is set
K19(K20(K90(),K90())) is set
K20(K20(K90(),K90()),K90()) is set
K19(K20(K20(K90(),K90()),K90())) is set
K20(K91(),K91()) is set
K19(K20(K91(),K91())) is set
K20(K20(K91(),K91()),K91()) is set
K19(K20(K20(K91(),K91()),K91())) is set
K20(K92(),K92()) is set
K20(K20(K92(),K92()),K92()) is set
K19(K20(K20(K92(),K92()),K92())) is set
K87() is non empty V21() V22() V23() V34() V49() V50() set
K19(K87()) is set
K19(K92()) is set
BOOLEAN is non empty set
1 is non empty non pair V21() V22() V23() V27() Element of K92()
{} is set
{{},1} is set
K334() is set
K19(K334()) is set
K335() is Element of K19(K334())
K375() is non empty V93() L10()
the carrier of K375() is set
K338( the carrier of K375()) is non empty M24( the carrier of K375())
K374(K375()) is Element of K19(K338( the carrier of K375()))
K19(K338( the carrier of K375())) is set
K20(K374(K375()),K92()) is set
K19(K20(K374(K375()),K92())) is set
K20(K92(),K374(K375())) is set
K19(K20(K92(),K374(K375()))) is set
2 is non empty non pair V21() V22() V23() V27() Element of K92()
2 -tuples_on BOOLEAN is FinSequenceSet of BOOLEAN
K20((2 -tuples_on BOOLEAN),BOOLEAN) is set
K19(K20((2 -tuples_on BOOLEAN),BOOLEAN)) is set
3 is non empty non pair V21() V22() V23() V27() Element of K92()
3 -tuples_on BOOLEAN is FinSequenceSet of BOOLEAN
K20((3 -tuples_on BOOLEAN),BOOLEAN) is set
K19(K20((3 -tuples_on BOOLEAN),BOOLEAN)) is set
'xor' is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
0 is non pair V21() V22() V23() V27() Element of K92()
TRUE 'xor' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(TRUE,FALSE) is non pair V21() V22() V23() V27() boolean set
K207(TRUE,FALSE) is non pair V21() V22() V23() V27() boolean set
'not' TRUE is non pair V21() V22() V23() V27() boolean set
K100(1,TRUE) is set
K206(('not' TRUE),FALSE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' TRUE)) is set
'not' FALSE is non pair V21() V22() V23() V27() boolean set
K100(1,FALSE) is set
('not' ('not' TRUE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' FALSE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' FALSE))) is set
K207(FALSE,TRUE) is non pair V21() V22() V23() V27() boolean set
K206(('not' FALSE),TRUE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' FALSE)) is set
('not' ('not' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' TRUE)) is set
'not' (('not' ('not' FALSE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' TRUE))) is set
K207(TRUE,FALSE) '&' K207(FALSE,TRUE) is non pair V21() V22() V23() V27() boolean set
K97(K207(TRUE,FALSE),K207(FALSE,TRUE)) is set
'not' K208(TRUE,FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(TRUE,FALSE)) is set
x is non empty non void Circuit-like unsplit ManySortedSign
b is non-empty finitely-generated V105(x) Boolean MSAlgebra over x
the Sorts of b is Relation-like the carrier of x -defined Function-like V14( the carrier of x) set
the carrier of x is set
K216( the Sorts of b) is functional V47() V48() set
p is Relation-like Function-like Element of K216( the Sorts of b)
S is Element of the carrier of x
p . S is set
p . S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
the Sorts of b . S is set
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 2 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(2 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((2 -tuples_on BOOLEAN),BOOLEAN))
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
x '&' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(x,b) is set
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*p,S*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*p,S*> is non pair V21() V22() V23() V27() boolean set
'not' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,p) is set
('not' p) '&' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' p),S) is set
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s) is set
'not' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s1) is set
('not' s) '&' ('not' s1) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' s),('not' s1)) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
x '&' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(x,b) is set
'not' (x '&' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(x '&' b)) is set
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*p,S*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*p,S*> is non pair V21() V22() V23() V27() boolean set
'not' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,p) is set
('not' p) '&' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' p),S) is set
'not' (('not' p) '&' S) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' p) '&' S)) is set
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s) is set
'not' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s1) is set
('not' s) '&' ('not' s1) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' s),('not' s1)) is set
'not' (('not' s) '&' ('not' s1)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' s) '&' ('not' s1))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
x 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' x is non pair V21() V22() V23() V27() boolean set
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean set
K100(1,b) is set
('not' x) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' x),('not' b)) is set
'not' (('not' x) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) '&' ('not' b))) is set
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*p,S*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*p,S*> is non pair V21() V22() V23() V27() boolean set
'not' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,p) is set
('not' p) 'or' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' p) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' p)) is set
'not' S is non pair V21() V22() V23() V27() boolean set
K100(1,S) is set
('not' ('not' p)) '&' ('not' S) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' p)),('not' S)) is set
'not' (('not' ('not' p)) '&' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' p)) '&' ('not' S))) is set
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s) is set
'not' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s1) is set
('not' s) 'or' ('not' s1) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' s) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s)) is set
'not' ('not' s1) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s1)) is set
('not' ('not' s)) '&' ('not' ('not' s1)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' s)),('not' ('not' s1))) is set
'not' (('not' ('not' s)) '&' ('not' ('not' s1))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' s)) '&' ('not' ('not' s1)))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
x 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' x is non pair V21() V22() V23() V27() boolean set
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean set
K100(1,b) is set
('not' x) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' x),('not' b)) is set
'not' (('not' x) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) '&' ('not' b))) is set
'not' (x 'or' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(x 'or' b)) is set
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*p,S*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*p,S*> is non pair V21() V22() V23() V27() boolean set
'not' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,p) is set
('not' p) 'or' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' p) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' p)) is set
'not' S is non pair V21() V22() V23() V27() boolean set
K100(1,S) is set
('not' ('not' p)) '&' ('not' S) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' p)),('not' S)) is set
'not' (('not' ('not' p)) '&' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' p)) '&' ('not' S))) is set
'not' (('not' p) 'or' S) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' p) 'or' S)) is set
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s) is set
'not' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s1) is set
('not' s) 'or' ('not' s1) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' s) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s)) is set
'not' ('not' s1) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s1)) is set
('not' ('not' s)) '&' ('not' ('not' s1)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' s)),('not' ('not' s1))) is set
'not' (('not' ('not' s)) '&' ('not' ('not' s1))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' s)) '&' ('not' ('not' s1)))) is set
'not' (('not' s) 'or' ('not' s1)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' s) 'or' ('not' s1))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
x 'xor' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(x,b) is non pair V21() V22() V23() V27() boolean set
K207(x,b) is non pair V21() V22() V23() V27() boolean set
'not' x is non pair V21() V22() V23() V27() boolean set
K100(1,x) is set
K206(('not' x),b) is non pair V21() V22() V23() V27() boolean set
'not' ('not' x) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' x)) is set
'not' b is non pair V21() V22() V23() V27() boolean set
K100(1,b) is set
('not' ('not' x)) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' b)) is set
'not' (('not' ('not' x)) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' b))) is set
K207(b,x) is non pair V21() V22() V23() V27() boolean set
K206(('not' b),x) is non pair V21() V22() V23() V27() boolean set
'not' ('not' b) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' b)) is set
('not' ('not' b)) '&' ('not' x) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' b)),('not' x)) is set
'not' (('not' ('not' b)) '&' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' b)) '&' ('not' x))) is set
K207(x,b) '&' K207(b,x) is non pair V21() V22() V23() V27() boolean set
K97(K207(x,b),K207(b,x)) is set
'not' K208(x,b) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(x,b)) is set
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*p,S*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*p,S*> is non pair V21() V22() V23() V27() boolean set
'not' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,p) is set
('not' p) 'xor' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' p),S) is non pair V21() V22() V23() V27() boolean set
K207(('not' p),S) is non pair V21() V22() V23() V27() boolean set
'not' ('not' p) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' p)) is set
K206(('not' ('not' p)),S) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' p))) is set
'not' S is non pair V21() V22() V23() V27() boolean set
K100(1,S) is set
('not' ('not' ('not' p))) '&' ('not' S) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' p))),('not' S)) is set
'not' (('not' ('not' ('not' p))) '&' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' p))) '&' ('not' S))) is set
K207(S,('not' p)) is non pair V21() V22() V23() V27() boolean set
K206(('not' S),('not' p)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' S) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' S)) is set
('not' ('not' S)) '&' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' S)),('not' ('not' p))) is set
'not' (('not' ('not' S)) '&' ('not' ('not' p))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' S)) '&' ('not' ('not' p)))) is set
K207(('not' p),S) '&' K207(S,('not' p)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' p),S),K207(S,('not' p))) is set
'not' K208(('not' p),S) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' p),S)) is set
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s) is set
'not' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s1) is set
('not' s) 'xor' ('not' s1) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' s),('not' s1)) is non pair V21() V22() V23() V27() boolean set
K207(('not' s),('not' s1)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' s) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s)) is set
K206(('not' ('not' s)),('not' s1)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' s)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' s))) is set
'not' ('not' s1) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s1)) is set
('not' ('not' ('not' s))) '&' ('not' ('not' s1)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' s))),('not' ('not' s1))) is set
'not' (('not' ('not' ('not' s))) '&' ('not' ('not' s1))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' s))) '&' ('not' ('not' s1)))) is set
K207(('not' s1),('not' s)) is non pair V21() V22() V23() V27() boolean set
K206(('not' ('not' s1)),('not' s)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' s1)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' s1))) is set
('not' ('not' ('not' s1))) '&' ('not' ('not' s)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' s1))),('not' ('not' s))) is set
'not' (('not' ('not' ('not' s1))) '&' ('not' ('not' s))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' s1))) '&' ('not' ('not' s)))) is set
K207(('not' s),('not' s1)) '&' K207(('not' s1),('not' s)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' s),('not' s1)),K207(('not' s1),('not' s))) is set
'not' K208(('not' s),('not' s1)) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' s),('not' s1))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
<*b,x*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*b,x*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
'not' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,b) is set
('not' x) 'or' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' x) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' x)) is set
'not' ('not' b) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' b)) is set
('not' ('not' x)) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' ('not' b))) is set
'not' (('not' ('not' x)) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' ('not' b)))) is set
'not' (('not' x) 'or' ('not' b)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' x) 'or' ('not' b))) is set
'not' ('not' x) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' x)) 'or' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' x))) is set
('not' ('not' ('not' x))) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' x))),('not' ('not' b))) is set
'not' (('not' ('not' ('not' x))) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' x))) '&' ('not' ('not' b)))) is set
'not' (('not' ('not' x)) 'or' ('not' b)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' x)) 'or' ('not' b))) is set
'not' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' x)) 'or' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' b))) is set
('not' ('not' ('not' x))) '&' ('not' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' x))),('not' ('not' ('not' b)))) is set
'not' (('not' ('not' ('not' x))) '&' ('not' ('not' ('not' b)))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' x))) '&' ('not' ('not' ('not' b))))) is set
'not' (('not' ('not' x)) 'or' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' x)) 'or' ('not' ('not' b)))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
<*b,x*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*b,x*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
x 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' x is non pair V21() V22() V23() V27() boolean set
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean set
K100(1,b) is set
('not' x) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' x),('not' b)) is set
'not' (('not' x) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) '&' ('not' b))) is set
'not' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' x) 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' x) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' x)) is set
('not' ('not' x)) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' b)) is set
'not' (('not' ('not' x)) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' b))) is set
'not' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' x) 'or' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' b) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' b)) is set
('not' ('not' x)) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' ('not' b))) is set
'not' (('not' ('not' x)) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' ('not' b)))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b*> is non pair V21() V22() V23() V27() boolean set
'not' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,b) is set
('not' x) 'xor' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' x),('not' b)) is non pair V21() V22() V23() V27() boolean set
K207(('not' x),('not' b)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' x) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' x)) is set
K206(('not' ('not' x)),('not' b)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' x))) is set
'not' ('not' b) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' b)) is set
('not' ('not' ('not' x))) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' x))),('not' ('not' b))) is set
'not' (('not' ('not' ('not' x))) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' x))) '&' ('not' ('not' b)))) is set
K207(('not' b),('not' x)) is non pair V21() V22() V23() V27() boolean set
K206(('not' ('not' b)),('not' x)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' b))) is set
('not' ('not' ('not' b))) '&' ('not' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' b))),('not' ('not' x))) is set
'not' (('not' ('not' ('not' b))) '&' ('not' ('not' x))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' b))) '&' ('not' ('not' x)))) is set
K207(('not' x),('not' b)) '&' K207(('not' b),('not' x)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' x),('not' b)),K207(('not' b),('not' x))) is set
'not' K208(('not' x),('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' x),('not' b))) is set
x 'xor' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(x,b) is non pair V21() V22() V23() V27() boolean set
K207(x,b) is non pair V21() V22() V23() V27() boolean set
'not' x is non pair V21() V22() V23() V27() boolean set
K206(('not' x),b) is non pair V21() V22() V23() V27() boolean set
'not' ('not' x) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' x)) is set
'not' b is non pair V21() V22() V23() V27() boolean set
('not' ('not' x)) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' b)) is set
'not' (('not' ('not' x)) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' b))) is set
K207(b,x) is non pair V21() V22() V23() V27() boolean set
K206(('not' b),x) is non pair V21() V22() V23() V27() boolean set
'not' ('not' b) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' b)) is set
('not' ('not' b)) '&' ('not' x) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' b)),('not' x)) is set
'not' (('not' ('not' b)) '&' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' b)) '&' ('not' x))) is set
K207(x,b) '&' K207(b,x) is non pair V21() V22() V23() V27() boolean set
K97(K207(x,b),K207(b,x)) is set
'not' K208(x,b) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(x,b)) is set
<*0,0*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
<*0,1*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
<*1,0*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
<*1,1*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
FALSE '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(FALSE,FALSE) is set
FALSE '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(FALSE,TRUE) is set
TRUE '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(TRUE,FALSE) is set
TRUE '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(TRUE,TRUE) is set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),FALSE) is set
('not' FALSE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),TRUE) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),FALSE) is set
('not' TRUE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),TRUE) is set
TRUE '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(TRUE,('not' FALSE)) is set
('not' FALSE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),('not' TRUE)) is set
('not' TRUE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),('not' FALSE)) is set
FALSE '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(FALSE,('not' TRUE)) is set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
FALSE 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' FALSE),('not' FALSE)) is set
'not' (('not' FALSE) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) '&' ('not' FALSE))) is set
FALSE 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' FALSE),('not' TRUE)) is set
'not' (('not' FALSE) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) '&' ('not' TRUE))) is set
TRUE 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' FALSE)) is set
'not' (('not' TRUE) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' FALSE))) is set
TRUE 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' TRUE)) is set
'not' (('not' TRUE) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' TRUE))) is set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' FALSE)) is set
('not' ('not' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' TRUE)) is set
'not' (('not' ('not' FALSE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' TRUE))) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' TRUE)) is set
('not' ('not' TRUE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' FALSE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' FALSE))) is set
('not' TRUE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' TRUE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' TRUE))) is set
TRUE 'or' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' ('not' FALSE))) is set
'not' (('not' TRUE) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' ('not' FALSE)))) is set
TRUE 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' ('not' TRUE))) is set
'not' (('not' TRUE) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' ('not' TRUE)))) is set
FALSE 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' FALSE),('not' ('not' TRUE))) is set
'not' (('not' FALSE) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) '&' ('not' ('not' TRUE)))) is set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1*> is non pair V21() V22() V23() V27() boolean set
FALSE 'xor' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K207(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K206(('not' FALSE),FALSE) is non pair V21() V22() V23() V27() boolean set
('not' ('not' FALSE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' FALSE)) is set
'not' (('not' ('not' FALSE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' FALSE))) is set
K207(FALSE,FALSE) '&' K207(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K97(K207(FALSE,FALSE),K207(FALSE,FALSE)) is set
'not' K208(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(FALSE,FALSE)) is set
FALSE 'xor' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(FALSE,TRUE) is non pair V21() V22() V23() V27() boolean set
K207(FALSE,TRUE) '&' K207(TRUE,FALSE) is non pair V21() V22() V23() V27() boolean set
K97(K207(FALSE,TRUE),K207(TRUE,FALSE)) is set
'not' K208(FALSE,TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(FALSE,TRUE)) is set
TRUE 'xor' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K207(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K206(('not' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
('not' ('not' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' TRUE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' TRUE))) is set
K207(TRUE,TRUE) '&' K207(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K97(K207(TRUE,TRUE),K207(TRUE,TRUE)) is set
'not' K208(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(TRUE,TRUE)) is set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) 'xor' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' FALSE),FALSE) is non pair V21() V22() V23() V27() boolean set
K207(('not' FALSE),FALSE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' FALSE)) is set
K206(('not' ('not' FALSE)),FALSE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' FALSE))) is set
('not' ('not' ('not' FALSE))) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' FALSE))),('not' FALSE)) is set
'not' (('not' ('not' ('not' FALSE))) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' FALSE))) '&' ('not' FALSE))) is set
K207(FALSE,('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K206(('not' FALSE),('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
('not' ('not' FALSE)) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' ('not' FALSE))) is set
'not' (('not' ('not' FALSE)) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' ('not' FALSE)))) is set
K207(('not' FALSE),FALSE) '&' K207(FALSE,('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' FALSE),FALSE),K207(FALSE,('not' FALSE))) is set
'not' K208(('not' FALSE),FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' FALSE),FALSE)) is set
('not' FALSE) 'xor' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' FALSE),TRUE) is non pair V21() V22() V23() V27() boolean set
K207(('not' FALSE),TRUE) is non pair V21() V22() V23() V27() boolean set
K206(('not' ('not' FALSE)),TRUE) is non pair V21() V22() V23() V27() boolean set
('not' ('not' ('not' FALSE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' FALSE))),('not' TRUE)) is set
'not' (('not' ('not' ('not' FALSE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' FALSE))) '&' ('not' TRUE))) is set
K207(TRUE,('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K206(('not' TRUE),('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
('not' ('not' TRUE)) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' ('not' FALSE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' ('not' FALSE)))) is set
K207(('not' FALSE),TRUE) '&' K207(TRUE,('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' FALSE),TRUE),K207(TRUE,('not' FALSE))) is set
'not' K208(('not' FALSE),TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' FALSE),TRUE)) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) 'xor' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' TRUE),FALSE) is non pair V21() V22() V23() V27() boolean set
K207(('not' TRUE),FALSE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' TRUE)) is set
K206(('not' ('not' TRUE)),FALSE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' TRUE))) is set
('not' ('not' ('not' TRUE))) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' TRUE))),('not' FALSE)) is set
'not' (('not' ('not' ('not' TRUE))) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' TRUE))) '&' ('not' FALSE))) is set
K207(FALSE,('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K206(('not' FALSE),('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
('not' ('not' FALSE)) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' ('not' TRUE))) is set
'not' (('not' ('not' FALSE)) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' ('not' TRUE)))) is set
K207(('not' TRUE),FALSE) '&' K207(FALSE,('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' TRUE),FALSE),K207(FALSE,('not' TRUE))) is set
'not' K208(('not' TRUE),FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' TRUE),FALSE)) is set
('not' TRUE) 'xor' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
K207(('not' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
K206(('not' ('not' TRUE)),TRUE) is non pair V21() V22() V23() V27() boolean set
('not' ('not' ('not' TRUE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' TRUE))),('not' TRUE)) is set
'not' (('not' ('not' ('not' TRUE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' TRUE))) '&' ('not' TRUE))) is set
K207(TRUE,('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K206(('not' TRUE),('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
('not' ('not' TRUE)) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' ('not' TRUE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' ('not' TRUE)))) is set
K207(('not' TRUE),TRUE) '&' K207(TRUE,('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' TRUE),TRUE),K207(TRUE,('not' TRUE))) is set
'not' K208(('not' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' TRUE),TRUE)) is set
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
() is Relation-like 3 -tuples_on BOOLEAN -defined BOOLEAN -valued Function-like V18(3 -tuples_on BOOLEAN, BOOLEAN ) boolean-valued Element of K19(K20((3 -tuples_on BOOLEAN),BOOLEAN))
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b,p*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
x '&' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(x,b) is set
(x '&' b) '&' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((x '&' b),p) is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*S,s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*S,s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) '&' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' S),s) is set
(('not' S) '&' s) '&' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' S) '&' s),s1) is set
s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s2,a,c₉*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s2,a,c₉*> is non pair V21() V22() V23() V27() boolean set
'not' s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s2) is set
'not' a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,a) is set
('not' s2) '&' ('not' a) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' s2),('not' a)) is set
(('not' s2) '&' ('not' a)) '&' c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' s2) '&' ('not' a)),c₉) is set
c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*c₁₀,c₁₁,c₁₂*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*c₁₀,c₁₁,c₁₂*> is non pair V21() V22() V23() V27() boolean set
'not' c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₀) is set
'not' c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₁) is set
('not' c₁₀) '&' ('not' c₁₁) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' c₁₀),('not' c₁₁)) is set
'not' c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₂) is set
(('not' c₁₀) '&' ('not' c₁₁)) '&' ('not' c₁₂) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' c₁₀) '&' ('not' c₁₁)),('not' c₁₂)) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b,p*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
x '&' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(x,b) is set
(x '&' b) '&' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((x '&' b),p) is set
'not' ((x '&' b) '&' p) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((x '&' b) '&' p)) is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*S,s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*S,s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) '&' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' S),s) is set
(('not' S) '&' s) '&' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' S) '&' s),s1) is set
'not' ((('not' S) '&' s) '&' s1) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' S) '&' s) '&' s1)) is set
s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s2,a,c₉*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s2,a,c₉*> is non pair V21() V22() V23() V27() boolean set
'not' s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s2) is set
'not' a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,a) is set
('not' s2) '&' ('not' a) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' s2),('not' a)) is set
(('not' s2) '&' ('not' a)) '&' c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' s2) '&' ('not' a)),c₉) is set
'not' ((('not' s2) '&' ('not' a)) '&' c₉) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' s2) '&' ('not' a)) '&' c₉)) is set
c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*c₁₀,c₁₁,c₁₂*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*c₁₀,c₁₁,c₁₂*> is non pair V21() V22() V23() V27() boolean set
'not' c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₀) is set
'not' c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₁) is set
('not' c₁₀) '&' ('not' c₁₁) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' c₁₀),('not' c₁₁)) is set
'not' c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₂) is set
(('not' c₁₀) '&' ('not' c₁₁)) '&' ('not' c₁₂) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' c₁₀) '&' ('not' c₁₁)),('not' c₁₂)) is set
'not' ((('not' c₁₀) '&' ('not' c₁₁)) '&' ('not' c₁₂)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' c₁₀) '&' ('not' c₁₁)) '&' ('not' c₁₂))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b,p*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
x 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' x is non pair V21() V22() V23() V27() boolean set
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean set
K100(1,b) is set
('not' x) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' x),('not' b)) is set
'not' (('not' x) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) '&' ('not' b))) is set
(x 'or' b) 'or' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (x 'or' b) is non pair V21() V22() V23() V27() boolean set
K100(1,(x 'or' b)) is set
'not' p is non pair V21() V22() V23() V27() boolean set
K100(1,p) is set
('not' (x 'or' b)) '&' ('not' p) is non pair V21() V22() V23() V27() boolean set
K97(('not' (x 'or' b)),('not' p)) is set
'not' (('not' (x 'or' b)) '&' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (x 'or' b)) '&' ('not' p))) is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*S,s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*S,s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) 'or' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' S) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' S)) is set
'not' s is non pair V21() V22() V23() V27() boolean set
K100(1,s) is set
('not' ('not' S)) '&' ('not' s) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' S)),('not' s)) is set
'not' (('not' ('not' S)) '&' ('not' s)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' S)) '&' ('not' s))) is set
(('not' S) 'or' s) 'or' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' S) 'or' s) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' S) 'or' s)) is set
'not' s1 is non pair V21() V22() V23() V27() boolean set
K100(1,s1) is set
('not' (('not' S) 'or' s)) '&' ('not' s1) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' S) 'or' s)),('not' s1)) is set
'not' (('not' (('not' S) 'or' s)) '&' ('not' s1)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' S) 'or' s)) '&' ('not' s1))) is set
s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s2,a,c₉*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s2,a,c₉*> is non pair V21() V22() V23() V27() boolean set
'not' s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s2) is set
'not' a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,a) is set
('not' s2) 'or' ('not' a) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' s2) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s2)) is set
'not' ('not' a) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' a)) is set
('not' ('not' s2)) '&' ('not' ('not' a)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' s2)),('not' ('not' a))) is set
'not' (('not' ('not' s2)) '&' ('not' ('not' a))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' s2)) '&' ('not' ('not' a)))) is set
(('not' s2) 'or' ('not' a)) 'or' c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' s2) 'or' ('not' a)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' s2) 'or' ('not' a))) is set
'not' c₉ is non pair V21() V22() V23() V27() boolean set
K100(1,c₉) is set
('not' (('not' s2) 'or' ('not' a))) '&' ('not' c₉) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' s2) 'or' ('not' a))),('not' c₉)) is set
'not' (('not' (('not' s2) 'or' ('not' a))) '&' ('not' c₉)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' s2) 'or' ('not' a))) '&' ('not' c₉))) is set
c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*c₁₀,c₁₁,c₁₂*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*c₁₀,c₁₁,c₁₂*> is non pair V21() V22() V23() V27() boolean set
'not' c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₀) is set
'not' c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₁) is set
('not' c₁₀) 'or' ('not' c₁₁) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' c₁₀) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' c₁₀)) is set
'not' ('not' c₁₁) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' c₁₁)) is set
('not' ('not' c₁₀)) '&' ('not' ('not' c₁₁)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' c₁₀)),('not' ('not' c₁₁))) is set
'not' (('not' ('not' c₁₀)) '&' ('not' ('not' c₁₁))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' c₁₀)) '&' ('not' ('not' c₁₁)))) is set
'not' c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₂) is set
(('not' c₁₀) 'or' ('not' c₁₁)) 'or' ('not' c₁₂) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' c₁₀) 'or' ('not' c₁₁)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' c₁₀) 'or' ('not' c₁₁))) is set
'not' ('not' c₁₂) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' c₁₂)) is set
('not' (('not' c₁₀) 'or' ('not' c₁₁))) '&' ('not' ('not' c₁₂)) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' c₁₀) 'or' ('not' c₁₁))),('not' ('not' c₁₂))) is set
'not' (('not' (('not' c₁₀) 'or' ('not' c₁₁))) '&' ('not' ('not' c₁₂))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' c₁₀) 'or' ('not' c₁₁))) '&' ('not' ('not' c₁₂)))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b,p*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
x 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' x is non pair V21() V22() V23() V27() boolean set
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean set
K100(1,b) is set
('not' x) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' x),('not' b)) is set
'not' (('not' x) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) '&' ('not' b))) is set
(x 'or' b) 'or' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (x 'or' b) is non pair V21() V22() V23() V27() boolean set
K100(1,(x 'or' b)) is set
'not' p is non pair V21() V22() V23() V27() boolean set
K100(1,p) is set
('not' (x 'or' b)) '&' ('not' p) is non pair V21() V22() V23() V27() boolean set
K97(('not' (x 'or' b)),('not' p)) is set
'not' (('not' (x 'or' b)) '&' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (x 'or' b)) '&' ('not' p))) is set
'not' ((x 'or' b) 'or' p) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((x 'or' b) 'or' p)) is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*S,s,s1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*S,s,s1*> is non pair V21() V22() V23() V27() boolean set
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) 'or' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' S) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' S)) is set
'not' s is non pair V21() V22() V23() V27() boolean set
K100(1,s) is set
('not' ('not' S)) '&' ('not' s) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' S)),('not' s)) is set
'not' (('not' ('not' S)) '&' ('not' s)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' S)) '&' ('not' s))) is set
(('not' S) 'or' s) 'or' s1 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' S) 'or' s) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' S) 'or' s)) is set
'not' s1 is non pair V21() V22() V23() V27() boolean set
K100(1,s1) is set
('not' (('not' S) 'or' s)) '&' ('not' s1) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' S) 'or' s)),('not' s1)) is set
'not' (('not' (('not' S) 'or' s)) '&' ('not' s1)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' S) 'or' s)) '&' ('not' s1))) is set
'not' ((('not' S) 'or' s) 'or' s1) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' S) 'or' s) 'or' s1)) is set
s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s2,a,c₉*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s2,a,c₉*> is non pair V21() V22() V23() V27() boolean set
'not' s2 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,s2) is set
'not' a is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,a) is set
('not' s2) 'or' ('not' a) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' s2) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s2)) is set
'not' ('not' a) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' a)) is set
('not' ('not' s2)) '&' ('not' ('not' a)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' s2)),('not' ('not' a))) is set
'not' (('not' ('not' s2)) '&' ('not' ('not' a))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' s2)) '&' ('not' ('not' a)))) is set
(('not' s2) 'or' ('not' a)) 'or' c₉ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' s2) 'or' ('not' a)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' s2) 'or' ('not' a))) is set
'not' c₉ is non pair V21() V22() V23() V27() boolean set
K100(1,c₉) is set
('not' (('not' s2) 'or' ('not' a))) '&' ('not' c₉) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' s2) 'or' ('not' a))),('not' c₉)) is set
'not' (('not' (('not' s2) 'or' ('not' a))) '&' ('not' c₉)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' s2) 'or' ('not' a))) '&' ('not' c₉))) is set
'not' ((('not' s2) 'or' ('not' a)) 'or' c₉) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' s2) 'or' ('not' a)) 'or' c₉)) is set
c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*c₁₀,c₁₁,c₁₂*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*c₁₀,c₁₁,c₁₂*> is non pair V21() V22() V23() V27() boolean set
'not' c₁₀ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₀) is set
'not' c₁₁ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₁) is set
('not' c₁₀) 'or' ('not' c₁₁) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' c₁₀) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' c₁₀)) is set
'not' ('not' c₁₁) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' c₁₁)) is set
('not' ('not' c₁₀)) '&' ('not' ('not' c₁₁)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' c₁₀)),('not' ('not' c₁₁))) is set
'not' (('not' ('not' c₁₀)) '&' ('not' ('not' c₁₁))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' c₁₀)) '&' ('not' ('not' c₁₁)))) is set
'not' c₁₂ is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c₁₂) is set
(('not' c₁₀) 'or' ('not' c₁₁)) 'or' ('not' c₁₂) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' c₁₀) 'or' ('not' c₁₁)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' c₁₀) 'or' ('not' c₁₁))) is set
'not' ('not' c₁₂) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' c₁₂)) is set
('not' (('not' c₁₀) 'or' ('not' c₁₁))) '&' ('not' ('not' c₁₂)) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' c₁₀) 'or' ('not' c₁₁))),('not' ('not' c₁₂))) is set
'not' (('not' (('not' c₁₀) 'or' ('not' c₁₁))) '&' ('not' ('not' c₁₂))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' c₁₀) 'or' ('not' c₁₁))) '&' ('not' ('not' c₁₂)))) is set
'not' ((('not' c₁₀) 'or' ('not' c₁₁)) 'or' ('not' c₁₂)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' c₁₀) 'or' ('not' c₁₁)) 'or' ('not' c₁₂))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b,p*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
<*p,b,x*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*p,b,x*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*p,b,x*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
'not' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,b) is set
('not' x) 'or' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' x) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' x)) is set
'not' ('not' b) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' b)) is set
('not' ('not' x)) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' ('not' b))) is set
'not' (('not' ('not' x)) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' ('not' b)))) is set
'not' (('not' x) 'or' ('not' b)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' x) 'or' ('not' b))) is set
'not' ('not' (('not' x) 'or' ('not' b))) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,('not' (('not' x) 'or' ('not' b)))) is set
'not' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,p) is set
('not' ('not' (('not' x) 'or' ('not' b)))) 'or' ('not' p) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' (('not' x) 'or' ('not' b)))) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' (('not' x) 'or' ('not' b))))) is set
'not' ('not' p) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' p)) is set
('not' ('not' ('not' (('not' x) 'or' ('not' b))))) '&' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' (('not' x) 'or' ('not' b))))),('not' ('not' p))) is set
'not' (('not' ('not' ('not' (('not' x) 'or' ('not' b))))) '&' ('not' ('not' p))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' (('not' x) 'or' ('not' b))))) '&' ('not' ('not' p)))) is set
'not' (('not' ('not' (('not' x) 'or' ('not' b)))) 'or' ('not' p)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' (('not' x) 'or' ('not' b)))) 'or' ('not' p))) is set
'not' ('not' x) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' x)) 'or' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' x))) is set
('not' ('not' ('not' x))) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' x))),('not' ('not' b))) is set
'not' (('not' ('not' ('not' x))) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' x))) '&' ('not' ('not' b)))) is set
'not' (('not' ('not' x)) 'or' ('not' b)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' x)) 'or' ('not' b))) is set
'not' ('not' (('not' ('not' x)) 'or' ('not' b))) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,('not' (('not' ('not' x)) 'or' ('not' b)))) is set
('not' ('not' (('not' ('not' x)) 'or' ('not' b)))) 'or' ('not' p) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' (('not' ('not' x)) 'or' ('not' b)))) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' (('not' ('not' x)) 'or' ('not' b))))) is set
('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' b))))) '&' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' b))))),('not' ('not' p))) is set
'not' (('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' b))))) '&' ('not' ('not' p))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' b))))) '&' ('not' ('not' p)))) is set
'not' (('not' ('not' (('not' ('not' x)) 'or' ('not' b)))) 'or' ('not' p)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' (('not' ('not' x)) 'or' ('not' b)))) 'or' ('not' p))) is set
('not' p) 'or' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' p)) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' p)),('not' ('not' b))) is set
'not' (('not' ('not' p)) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' p)) '&' ('not' ('not' b)))) is set
(('not' p) 'or' ('not' b)) 'or' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' p) 'or' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' p) 'or' ('not' b))) is set
'not' x is non pair V21() V22() V23() V27() boolean set
('not' (('not' p) 'or' ('not' b))) '&' ('not' x) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' p) 'or' ('not' b))),('not' x)) is set
'not' (('not' (('not' p) 'or' ('not' b))) '&' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' p) 'or' ('not' b))) '&' ('not' x))) is set
'not' ((('not' p) 'or' ('not' b)) 'or' x) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' p) 'or' ('not' b)) 'or' x)) is set
'not' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' x)) 'or' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' b))) is set
('not' ('not' ('not' x))) '&' ('not' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' x))),('not' ('not' ('not' b)))) is set
'not' (('not' ('not' ('not' x))) '&' ('not' ('not' ('not' b)))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' x))) '&' ('not' ('not' ('not' b))))) is set
'not' (('not' ('not' x)) 'or' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' x)) 'or' ('not' ('not' b)))) is set
'not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) is set
('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) 'or' ('not' p) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))) is set
('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))) '&' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))),('not' ('not' p))) is set
'not' (('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))) '&' ('not' ('not' p))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))) '&' ('not' ('not' p)))) is set
'not' (('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) 'or' ('not' p)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) 'or' ('not' p))) is set
('not' p) 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' b is non pair V21() V22() V23() V27() boolean set
('not' ('not' p)) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' p)),('not' b)) is set
'not' (('not' ('not' p)) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' p)) '&' ('not' b))) is set
(('not' p) 'or' b) 'or' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' p) 'or' b) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' p) 'or' b)) is set
('not' (('not' p) 'or' b)) '&' ('not' x) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' p) 'or' b)),('not' x)) is set
'not' (('not' (('not' p) 'or' b)) '&' ('not' x)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' p) 'or' b)) '&' ('not' x))) is set
'not' ((('not' p) 'or' b) 'or' x) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' p) 'or' b) 'or' x)) is set
'not' ('not' p) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) 'or' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' p))) is set
('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))) '&' ('not' ('not' ('not' p))) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))),('not' ('not' ('not' p)))) is set
'not' (('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))) '&' ('not' ('not' ('not' p)))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b)))))) '&' ('not' ('not' ('not' p))))) is set
'not' (('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) 'or' ('not' ('not' p))) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,(('not' ('not' (('not' ('not' x)) 'or' ('not' ('not' b))))) 'or' ('not' ('not' p)))) is set
x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*x,b,p*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
<*p,b,x*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*p,b,x*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*p,b,x*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
() . <*x,b,p*> is non pair V21() V22() V23() V27() boolean set
x 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' x is non pair V21() V22() V23() V27() boolean set
K100(1,x) is set
'not' b is non pair V21() V22() V23() V27() boolean set
K100(1,b) is set
('not' x) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' x),('not' b)) is set
'not' (('not' x) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) '&' ('not' b))) is set
(x 'or' b) 'or' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (x 'or' b) is non pair V21() V22() V23() V27() boolean set
K100(1,(x 'or' b)) is set
'not' p is non pair V21() V22() V23() V27() boolean set
K100(1,p) is set
('not' (x 'or' b)) '&' ('not' p) is non pair V21() V22() V23() V27() boolean set
K97(('not' (x 'or' b)),('not' p)) is set
'not' (('not' (x 'or' b)) '&' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (x 'or' b)) '&' ('not' p))) is set
'not' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' x) 'or' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' x) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' x)) is set
('not' ('not' x)) '&' ('not' b) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' b)) is set
'not' (('not' ('not' x)) '&' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' b))) is set
(('not' x) 'or' b) 'or' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' x) 'or' b) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) 'or' b)) is set
('not' (('not' x) 'or' b)) '&' ('not' p) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' x) 'or' b)),('not' p)) is set
'not' (('not' (('not' x) 'or' b)) '&' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' x) 'or' b)) '&' ('not' p))) is set
'not' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' p) '&' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' p),('not' b)) is set
(('not' p) '&' ('not' b)) '&' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' p) '&' ('not' b)),x) is set
'not' ((('not' p) '&' ('not' b)) '&' x) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' p) '&' ('not' b)) '&' x)) is set
('not' x) 'or' ('not' b) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' b) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' b)) is set
('not' ('not' x)) '&' ('not' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' x)),('not' ('not' b))) is set
'not' (('not' ('not' x)) '&' ('not' ('not' b))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' x)) '&' ('not' ('not' b)))) is set
(('not' x) 'or' ('not' b)) 'or' p is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' x) 'or' ('not' b)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' x) 'or' ('not' b))) is set
('not' (('not' x) 'or' ('not' b))) '&' ('not' p) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' x) 'or' ('not' b))),('not' p)) is set
'not' (('not' (('not' x) 'or' ('not' b))) '&' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' x) 'or' ('not' b))) '&' ('not' p))) is set
('not' p) '&' b is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' p),b) is set
(('not' p) '&' b) '&' x is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' p) '&' b),x) is set
'not' ((('not' p) '&' b) '&' x) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' p) '&' b) '&' x)) is set
(('not' x) 'or' ('not' b)) 'or' ('not' p) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' p) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' p)) is set
('not' (('not' x) 'or' ('not' b))) '&' ('not' ('not' p)) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' x) 'or' ('not' b))),('not' ('not' p))) is set
'not' (('not' (('not' x) 'or' ('not' b))) '&' ('not' ('not' p))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' x) 'or' ('not' b))) '&' ('not' ('not' p)))) is set
<*0,0,0*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
<*0,0,1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
<*0,1,0*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
<*0,1,1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
<*1,0,0*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
<*1,0,1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
<*1,1,0*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
<*1,1,1*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
FALSE '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(FALSE,FALSE) is set
(FALSE '&' FALSE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((FALSE '&' FALSE),FALSE) is set
(FALSE '&' FALSE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((FALSE '&' FALSE),TRUE) is set
FALSE '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(FALSE,TRUE) is set
(FALSE '&' TRUE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((FALSE '&' TRUE),FALSE) is set
TRUE '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(TRUE,FALSE) is set
(TRUE '&' FALSE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((TRUE '&' FALSE),FALSE) is set
TRUE '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(TRUE,TRUE) is set
(TRUE '&' TRUE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((TRUE '&' TRUE),FALSE) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),FALSE) is set
(('not' FALSE) '&' FALSE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' FALSE),FALSE) is set
(('not' FALSE) '&' FALSE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' FALSE),TRUE) is set
('not' FALSE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),TRUE) is set
(('not' FALSE) '&' TRUE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' TRUE),FALSE) is set
(('not' FALSE) '&' TRUE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' TRUE),TRUE) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),FALSE) is set
(('not' TRUE) '&' FALSE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' FALSE),FALSE) is set
(('not' TRUE) '&' FALSE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' FALSE),TRUE) is set
('not' TRUE) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),TRUE) is set
(('not' TRUE) '&' TRUE) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' TRUE),FALSE) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),('not' FALSE)) is set
(('not' FALSE) '&' ('not' FALSE)) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' ('not' FALSE)),FALSE) is set
TRUE '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(TRUE,('not' FALSE)) is set
(TRUE '&' ('not' FALSE)) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((TRUE '&' ('not' FALSE)),TRUE) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),('not' TRUE)) is set
(('not' FALSE) '&' ('not' TRUE)) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' ('not' TRUE)),FALSE) is set
(('not' FALSE) '&' ('not' TRUE)) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' ('not' TRUE)),TRUE) is set
('not' TRUE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),('not' FALSE)) is set
(('not' TRUE) '&' ('not' FALSE)) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' ('not' FALSE)),FALSE) is set
(('not' TRUE) '&' ('not' FALSE)) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' ('not' FALSE)),TRUE) is set
('not' TRUE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),('not' TRUE)) is set
(('not' TRUE) '&' ('not' TRUE)) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' ('not' TRUE)),FALSE) is set
FALSE '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(FALSE,('not' TRUE)) is set
(FALSE '&' ('not' TRUE)) '&' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((FALSE '&' ('not' TRUE)),TRUE) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
TRUE '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(TRUE,('not' FALSE)) is set
(TRUE '&' ('not' FALSE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((TRUE '&' ('not' FALSE)),('not' FALSE)) is set
('not' FALSE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),('not' FALSE)) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
(('not' FALSE) '&' ('not' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' ('not' FALSE)),('not' TRUE)) is set
('not' FALSE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' FALSE),('not' TRUE)) is set
(('not' FALSE) '&' ('not' TRUE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' ('not' TRUE)),('not' FALSE)) is set
(('not' FALSE) '&' ('not' TRUE)) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' FALSE) '&' ('not' TRUE)),FALSE) is set
('not' TRUE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),('not' FALSE)) is set
(('not' TRUE) '&' ('not' FALSE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' ('not' FALSE)),('not' FALSE)) is set
(('not' TRUE) '&' ('not' FALSE)) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' ('not' FALSE)),FALSE) is set
FALSE '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(FALSE,('not' TRUE)) is set
(FALSE '&' ('not' TRUE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((FALSE '&' ('not' TRUE)),('not' FALSE)) is set
('not' TRUE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' TRUE),('not' TRUE)) is set
(('not' TRUE) '&' ('not' TRUE)) '&' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' TRUE) '&' ('not' TRUE)),FALSE) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
FALSE 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' FALSE),('not' FALSE)) is set
'not' (('not' FALSE) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) '&' ('not' FALSE))) is set
(FALSE 'or' FALSE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (FALSE 'or' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,(FALSE 'or' FALSE)) is set
('not' (FALSE 'or' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (FALSE 'or' FALSE)),('not' TRUE)) is set
'not' (('not' (FALSE 'or' FALSE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (FALSE 'or' FALSE)) '&' ('not' TRUE))) is set
TRUE 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' FALSE)) is set
'not' (('not' TRUE) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' FALSE))) is set
FALSE 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' FALSE),('not' TRUE)) is set
'not' (('not' FALSE) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) '&' ('not' TRUE))) is set
(FALSE 'or' TRUE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (FALSE 'or' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,(FALSE 'or' TRUE)) is set
('not' (FALSE 'or' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (FALSE 'or' TRUE)),('not' TRUE)) is set
'not' (('not' (FALSE 'or' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (FALSE 'or' TRUE)) '&' ('not' TRUE))) is set
(TRUE 'or' FALSE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (TRUE 'or' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,(TRUE 'or' FALSE)) is set
('not' (TRUE 'or' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (TRUE 'or' FALSE)),('not' TRUE)) is set
'not' (('not' (TRUE 'or' FALSE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (TRUE 'or' FALSE)) '&' ('not' TRUE))) is set
TRUE 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' TRUE)) is set
'not' (('not' TRUE) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' TRUE))) is set
(TRUE 'or' TRUE) 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (TRUE 'or' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,(TRUE 'or' TRUE)) is set
('not' (TRUE 'or' TRUE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (TRUE 'or' TRUE)),('not' FALSE)) is set
'not' (('not' (TRUE 'or' TRUE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (TRUE 'or' TRUE)) '&' ('not' FALSE))) is set
(TRUE 'or' TRUE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' (TRUE 'or' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (TRUE 'or' TRUE)),('not' TRUE)) is set
'not' (('not' (TRUE 'or' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (TRUE 'or' TRUE)) '&' ('not' TRUE))) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' FALSE)) is set
('not' ('not' FALSE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' FALSE)) is set
'not' (('not' ('not' FALSE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' FALSE))) is set
(('not' FALSE) 'or' FALSE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' FALSE) 'or' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) 'or' FALSE)) is set
('not' (('not' FALSE) 'or' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' FALSE)),('not' TRUE)) is set
'not' (('not' (('not' FALSE) 'or' FALSE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' FALSE)) '&' ('not' TRUE))) is set
('not' FALSE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' TRUE)) is set
'not' (('not' ('not' FALSE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' TRUE))) is set
(('not' FALSE) 'or' TRUE) 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' FALSE) 'or' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) 'or' TRUE)) is set
('not' (('not' FALSE) 'or' TRUE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' TRUE)),('not' FALSE)) is set
'not' (('not' (('not' FALSE) 'or' TRUE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' TRUE)) '&' ('not' FALSE))) is set
(('not' FALSE) 'or' TRUE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' (('not' FALSE) 'or' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' TRUE)),('not' TRUE)) is set
'not' (('not' (('not' FALSE) 'or' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' TRUE)) '&' ('not' TRUE))) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' TRUE)) is set
('not' ('not' TRUE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' FALSE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' FALSE))) is set
(('not' TRUE) 'or' FALSE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' TRUE) 'or' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) 'or' FALSE)) is set
('not' (('not' TRUE) 'or' FALSE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' TRUE) 'or' FALSE)),('not' TRUE)) is set
'not' (('not' (('not' TRUE) 'or' FALSE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' TRUE) 'or' FALSE)) '&' ('not' TRUE))) is set
TRUE 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' FALSE)) is set
'not' (('not' TRUE) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' FALSE))) is set
('not' TRUE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' TRUE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' TRUE))) is set
(('not' TRUE) 'or' TRUE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' TRUE) 'or' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) 'or' TRUE)) is set
('not' (('not' TRUE) 'or' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' TRUE) 'or' TRUE)),('not' TRUE)) is set
'not' (('not' (('not' TRUE) 'or' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' TRUE) 'or' TRUE)) '&' ('not' TRUE))) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
TRUE 'or' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' FALSE)) is set
('not' TRUE) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' ('not' FALSE))) is set
'not' (('not' TRUE) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' ('not' FALSE)))) is set
(TRUE 'or' ('not' FALSE)) 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (TRUE 'or' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(TRUE 'or' ('not' FALSE))) is set
('not' (TRUE 'or' ('not' FALSE))) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (TRUE 'or' ('not' FALSE))),('not' FALSE)) is set
'not' (('not' (TRUE 'or' ('not' FALSE))) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (TRUE 'or' ('not' FALSE))) '&' ('not' FALSE))) is set
('not' FALSE) 'or' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' FALSE)) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' ('not' FALSE))) is set
'not' (('not' ('not' FALSE)) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' ('not' FALSE)))) is set
(('not' FALSE) 'or' ('not' FALSE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' FALSE) 'or' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) 'or' ('not' FALSE))) is set
('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' ('not' FALSE))),('not' TRUE)) is set
'not' (('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' TRUE))) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' TRUE)) is set
('not' ('not' FALSE)) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' ('not' TRUE))) is set
'not' (('not' ('not' FALSE)) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' ('not' TRUE)))) is set
(('not' FALSE) 'or' ('not' TRUE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' FALSE) 'or' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) 'or' ('not' TRUE))) is set
('not' (('not' FALSE) 'or' ('not' TRUE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' ('not' TRUE))),('not' TRUE)) is set
'not' (('not' (('not' FALSE) 'or' ('not' TRUE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' ('not' TRUE))) '&' ('not' TRUE))) is set
('not' TRUE) 'or' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' TRUE)) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' ('not' FALSE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' ('not' FALSE)))) is set
(('not' TRUE) 'or' ('not' FALSE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' TRUE) 'or' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) 'or' ('not' FALSE))) is set
('not' (('not' TRUE) 'or' ('not' FALSE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' TRUE) 'or' ('not' FALSE))),('not' TRUE)) is set
'not' (('not' (('not' TRUE) 'or' ('not' FALSE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' TRUE) 'or' ('not' FALSE))) '&' ('not' TRUE))) is set
('not' TRUE) 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' TRUE)) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' ('not' TRUE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' ('not' TRUE)))) is set
(('not' TRUE) 'or' ('not' TRUE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' TRUE) 'or' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) 'or' ('not' TRUE))) is set
('not' (('not' TRUE) 'or' ('not' TRUE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' TRUE) 'or' ('not' TRUE))),('not' TRUE)) is set
'not' (('not' (('not' TRUE) 'or' ('not' TRUE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' TRUE) 'or' ('not' TRUE))) '&' ('not' TRUE))) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
'not' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) 'or' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' FALSE)) is set
('not' ('not' FALSE)) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' ('not' FALSE))) is set
'not' (('not' ('not' FALSE)) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' ('not' FALSE)))) is set
(('not' FALSE) 'or' ('not' FALSE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' FALSE) 'or' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) 'or' ('not' FALSE))) is set
('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' ('not' FALSE))),('not' TRUE)) is set
'not' (('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' TRUE))) is set
(('not' FALSE) 'or' ('not' FALSE)) 'or' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' ('not' FALSE))),('not' FALSE)) is set
'not' (('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' ('not' FALSE))) '&' ('not' FALSE))) is set
'not' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' TRUE)) is set
('not' ('not' FALSE)) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' ('not' TRUE))) is set
'not' (('not' ('not' FALSE)) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' ('not' TRUE)))) is set
(('not' FALSE) 'or' ('not' TRUE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' FALSE) 'or' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) 'or' ('not' TRUE))) is set
('not' (('not' FALSE) 'or' ('not' TRUE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' FALSE) 'or' ('not' TRUE))),('not' TRUE)) is set
'not' (('not' (('not' FALSE) 'or' ('not' TRUE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' FALSE) 'or' ('not' TRUE))) '&' ('not' TRUE))) is set
TRUE 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' TRUE) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' TRUE),('not' ('not' TRUE))) is set
'not' (('not' TRUE) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) '&' ('not' ('not' TRUE)))) is set
(TRUE 'or' ('not' TRUE)) 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (TRUE 'or' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(TRUE 'or' ('not' TRUE))) is set
('not' (TRUE 'or' ('not' TRUE))) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' (TRUE 'or' ('not' TRUE))),('not' ('not' TRUE))) is set
'not' (('not' (TRUE 'or' ('not' TRUE))) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (TRUE 'or' ('not' TRUE))) '&' ('not' ('not' TRUE)))) is set
('not' TRUE) 'or' ('not' FALSE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' TRUE)) '&' ('not' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' ('not' FALSE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' ('not' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' ('not' FALSE)))) is set
(('not' TRUE) 'or' ('not' FALSE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' TRUE) 'or' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) 'or' ('not' FALSE))) is set
('not' (('not' TRUE) 'or' ('not' FALSE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' TRUE) 'or' ('not' FALSE))),('not' TRUE)) is set
'not' (('not' (('not' TRUE) 'or' ('not' FALSE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' TRUE) 'or' ('not' FALSE))) '&' ('not' TRUE))) is set
('not' TRUE) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' TRUE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' TRUE))) is set
(('not' TRUE) 'or' TRUE) 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' TRUE) 'or' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) 'or' TRUE)) is set
('not' (('not' TRUE) 'or' TRUE)) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' TRUE) 'or' TRUE)),('not' ('not' TRUE))) is set
'not' (('not' (('not' TRUE) 'or' TRUE)) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' TRUE) 'or' TRUE)) '&' ('not' ('not' TRUE)))) is set
('not' TRUE) 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' ('not' TRUE)) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' ('not' TRUE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' ('not' TRUE)))) is set
(('not' TRUE) 'or' ('not' TRUE)) 'or' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (('not' TRUE) 'or' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' TRUE) 'or' ('not' TRUE))) is set
('not' (('not' TRUE) 'or' ('not' TRUE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' (('not' TRUE) 'or' ('not' TRUE))),('not' TRUE)) is set
'not' (('not' (('not' TRUE) 'or' ('not' TRUE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (('not' TRUE) 'or' ('not' TRUE))) '&' ('not' TRUE))) is set
FALSE 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
('not' FALSE) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' FALSE),('not' ('not' TRUE))) is set
'not' (('not' FALSE) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' FALSE) '&' ('not' ('not' TRUE)))) is set
(FALSE 'or' ('not' TRUE)) 'or' ('not' TRUE) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' (FALSE 'or' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(FALSE 'or' ('not' TRUE))) is set
('not' (FALSE 'or' ('not' TRUE))) '&' ('not' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' (FALSE 'or' ('not' TRUE))),('not' ('not' TRUE))) is set
'not' (('not' (FALSE 'or' ('not' TRUE))) '&' ('not' ('not' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' (FALSE 'or' ('not' TRUE))) '&' ('not' ('not' TRUE)))) is set
() . <*0,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*0,1,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,0,1*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,0*> is non pair V21() V22() V23() V27() boolean set
() . <*1,1,1*> is non pair V21() V22() V23() V27() boolean set
FALSE 'xor' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K207(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K206(('not' FALSE),FALSE) is non pair V21() V22() V23() V27() boolean set
('not' ('not' FALSE)) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' FALSE)) is set
'not' (('not' ('not' FALSE)) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' FALSE))) is set
K207(FALSE,FALSE) '&' K207(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K97(K207(FALSE,FALSE),K207(FALSE,FALSE)) is set
'not' K208(FALSE,FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(FALSE,FALSE)) is set
(FALSE 'xor' FALSE) 'xor' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208((FALSE 'xor' FALSE),TRUE) is non pair V21() V22() V23() V27() boolean set
K207((FALSE 'xor' FALSE),TRUE) is non pair V21() V22() V23() V27() boolean set
'not' (FALSE 'xor' FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,(FALSE 'xor' FALSE)) is set
K206(('not' (FALSE 'xor' FALSE)),TRUE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' (FALSE 'xor' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' (FALSE 'xor' FALSE))) is set
('not' ('not' (FALSE 'xor' FALSE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' (FALSE 'xor' FALSE))),('not' TRUE)) is set
'not' (('not' ('not' (FALSE 'xor' FALSE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' (FALSE 'xor' FALSE))) '&' ('not' TRUE))) is set
K207(TRUE,(FALSE 'xor' FALSE)) is non pair V21() V22() V23() V27() boolean set
K206(('not' TRUE),(FALSE 'xor' FALSE)) is non pair V21() V22() V23() V27() boolean set
('not' ('not' TRUE)) '&' ('not' (FALSE 'xor' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' (FALSE 'xor' FALSE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' (FALSE 'xor' FALSE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' (FALSE 'xor' FALSE)))) is set
K207((FALSE 'xor' FALSE),TRUE) '&' K207(TRUE,(FALSE 'xor' FALSE)) is non pair V21() V22() V23() V27() boolean set
K97(K207((FALSE 'xor' FALSE),TRUE),K207(TRUE,(FALSE 'xor' FALSE))) is set
'not' K208((FALSE 'xor' FALSE),TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208((FALSE 'xor' FALSE),TRUE)) is set
TRUE 'xor' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K207(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K206(('not' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
('not' ('not' TRUE)) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' TRUE)) is set
'not' (('not' ('not' TRUE)) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' TRUE))) is set
K207(TRUE,TRUE) '&' K207(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K97(K207(TRUE,TRUE),K207(TRUE,TRUE)) is set
'not' K208(TRUE,TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(TRUE,TRUE)) is set
(TRUE 'xor' TRUE) 'xor' FALSE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208((TRUE 'xor' TRUE),FALSE) is non pair V21() V22() V23() V27() boolean set
K207((TRUE 'xor' TRUE),FALSE) is non pair V21() V22() V23() V27() boolean set
'not' (TRUE 'xor' TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,(TRUE 'xor' TRUE)) is set
K206(('not' (TRUE 'xor' TRUE)),FALSE) is non pair V21() V22() V23() V27() boolean set
'not' ('not' (TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' (TRUE 'xor' TRUE))) is set
('not' ('not' (TRUE 'xor' TRUE))) '&' ('not' FALSE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' (TRUE 'xor' TRUE))),('not' FALSE)) is set
'not' (('not' ('not' (TRUE 'xor' TRUE))) '&' ('not' FALSE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' (TRUE 'xor' TRUE))) '&' ('not' FALSE))) is set
K207(FALSE,(TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
K206(('not' FALSE),(TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
('not' ('not' FALSE)) '&' ('not' (TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' FALSE)),('not' (TRUE 'xor' TRUE))) is set
'not' (('not' ('not' FALSE)) '&' ('not' (TRUE 'xor' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' FALSE)) '&' ('not' (TRUE 'xor' TRUE)))) is set
K207((TRUE 'xor' TRUE),FALSE) '&' K207(FALSE,(TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(K207((TRUE 'xor' TRUE),FALSE),K207(FALSE,(TRUE 'xor' TRUE))) is set
'not' K208((TRUE 'xor' TRUE),FALSE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208((TRUE 'xor' TRUE),FALSE)) is set
(TRUE 'xor' TRUE) 'xor' TRUE is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208((TRUE 'xor' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
K207((TRUE 'xor' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
K206(('not' (TRUE 'xor' TRUE)),TRUE) is non pair V21() V22() V23() V27() boolean set
('not' ('not' (TRUE 'xor' TRUE))) '&' ('not' TRUE) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' (TRUE 'xor' TRUE))),('not' TRUE)) is set
'not' (('not' ('not' (TRUE 'xor' TRUE))) '&' ('not' TRUE)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' (TRUE 'xor' TRUE))) '&' ('not' TRUE))) is set
K207(TRUE,(TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
K206(('not' TRUE),(TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
('not' ('not' TRUE)) '&' ('not' (TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' TRUE)),('not' (TRUE 'xor' TRUE))) is set
'not' (('not' ('not' TRUE)) '&' ('not' (TRUE 'xor' TRUE))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' TRUE)) '&' ('not' (TRUE 'xor' TRUE)))) is set
K207((TRUE 'xor' TRUE),TRUE) '&' K207(TRUE,(TRUE 'xor' TRUE)) is non pair V21() V22() V23() V27() boolean set
K97(K207((TRUE 'xor' TRUE),TRUE),K207(TRUE,(TRUE 'xor' TRUE))) is set
'not' K208((TRUE 'xor' TRUE),TRUE) is non pair V21() V22() V23() V27() boolean set
K100(1,K208((TRUE 'xor' TRUE),TRUE)) is set
x is set
b is set
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
x is set
b is set
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
x is set
b is set
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
[<*x,b*>,()] is non empty pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
x is set
b is set
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
x is set
b is set
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
x is set
b is set
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
[<*x,b*>,()] is non empty pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
x is set
b is set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
x is set
b is set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
the carrier of (x,b) is set
{x,b} is non with_pair set
[<*x,b*>,()] is non empty pair set
{[<*x,b*>,()]} is Relation-like Function-like set
{x,b} \/ {[<*x,b*>,()]} is set
proj2 <*x,b*> is non with_pair set
x is non pair set
b is non pair set
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
[<*x,b*>,()] is non empty pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{[<*x,b*>,()]} is Relation-like Function-like set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
the carrier of (x,b) is set
{x,b} is non with_pair set
[<*x,b*>,()] is non empty pair set
{[<*x,b*>,()]} is Relation-like Function-like set
{x,b} \/ {[<*x,b*>,()]} is set
proj2 <*x,b*> is non with_pair set
x is non pair set
b is non pair set
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
[<*x,b*>,()] is non empty pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{[<*x,b*>,()]} is Relation-like Function-like set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
the carrier of (x,b) is set
[<*x,b*>,()] is non empty pair set
[<*x,b*>,()] is non empty pair set
the carrier of (x,b) is set
the carrier of (x,b) is set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
the carrier of (x,b) is set
{x,b} is non with_pair set
[<*x,b*>,()] is non empty pair set
[<*x,b*>,()] is non empty pair set
{[<*x,b*>,()],[<*x,b*>,()]} is Relation-like set
{x,b} \/ {[<*x,b*>,()],[<*x,b*>,()]} is set
the carrier of (x,b) is set
{[<*x,b*>,()]} is Relation-like Function-like set
{x,b} \/ {[<*x,b*>,()]} is set
the carrier of (x,b) is set
{[<*x,b*>,()]} is Relation-like Function-like set
{x,b} \/ {[<*x,b*>,()]} is set
({x,b} \/ {[<*x,b*>,()]}) \/ ({x,b} \/ {[<*x,b*>,()]}) is set
{x,b} \/ ({x,b} \/ {[<*x,b*>,()]}) is set
({x,b} \/ ({x,b} \/ {[<*x,b*>,()]})) \/ {[<*x,b*>,()]} is set
{x,b} \/ {x,b} is non with_pair set
({x,b} \/ {x,b}) \/ {[<*x,b*>,()]} is set
(({x,b} \/ {x,b}) \/ {[<*x,b*>,()]}) \/ {[<*x,b*>,()]} is set
{[<*x,b*>,()]} \/ {[<*x,b*>,()]} is set
{x,b} \/ ({[<*x,b*>,()]} \/ {[<*x,b*>,()]}) is set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
[<*x,b*>,()] is non empty pair set
{[<*x,b*>,()],[<*x,b*>,()]} is Relation-like set
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{[<*x,b*>,()]} is Relation-like Function-like set
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{[<*x,b*>,()]} is Relation-like Function-like set
(InnerVertices (x,b)) \/ (InnerVertices (x,b)) is set
x is non pair set
b is non pair set
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
[<*x,b*>,()] is non empty pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
{[<*x,b*>,()],[<*x,b*>,()]} is Relation-like set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{x,b} is non with_pair set
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
{x,b} \/ {x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
InputVertices (x,b) is Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
p . x is set
p . b is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
(Following p) . x is set
(Following p) . b is set
proj1 p is set
the carrier' of (x,b) is set
<*x,b*> * p is Relation-like Function-like set
() . (<*x,b*> * p) is non pair V21() V22() V23() V27() boolean set
InputVertices (x,b) is Element of K19( the carrier of (x,b))
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
p . x is set
p . b is set
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
(Following p) . x is set
(Following p) . b is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) 'xor' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' S),s) is non pair V21() V22() V23() V27() boolean set
K207(('not' S),s) is non pair V21() V22() V23() V27() boolean set
'not' ('not' S) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' S)) is set
K206(('not' ('not' S)),s) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' S))) is set
'not' s is non pair V21() V22() V23() V27() boolean set
K100(1,s) is set
('not' ('not' ('not' S))) '&' ('not' s) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' S))),('not' s)) is set
'not' (('not' ('not' ('not' S))) '&' ('not' s)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' S))) '&' ('not' s))) is set
K207(s,('not' S)) is non pair V21() V22() V23() V27() boolean set
K206(('not' s),('not' S)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' s) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s)) is set
('not' ('not' s)) '&' ('not' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' s)),('not' ('not' S))) is set
'not' (('not' ('not' s)) '&' ('not' ('not' S))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' s)) '&' ('not' ('not' S)))) is set
K207(('not' S),s) '&' K207(s,('not' S)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' S),s),K207(s,('not' S))) is set
'not' K208(('not' S),s) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' S),s)) is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
p . x is set
p . b is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
(Following p) . x is set
(Following p) . b is set
proj1 p is set
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
K19( the carrier of (x,b)) is set
the carrier' of (x,b) is set
<*x,b*> * p is Relation-like Function-like set
() . (<*x,b*> * p) is non pair V21() V22() V23() V27() boolean set
InputVertices (x,b) is Element of K19( the carrier of (x,b))
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
p . x is set
p . b is set
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
(Following p) . x is set
(Following p) . b is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) 'xor' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' S),s) is non pair V21() V22() V23() V27() boolean set
K207(('not' S),s) is non pair V21() V22() V23() V27() boolean set
'not' ('not' S) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' S)) is set
K206(('not' ('not' S)),s) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' S))) is set
'not' s is non pair V21() V22() V23() V27() boolean set
K100(1,s) is set
('not' ('not' ('not' S))) '&' ('not' s) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' S))),('not' s)) is set
'not' (('not' ('not' ('not' S))) '&' ('not' s)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' S))) '&' ('not' s))) is set
K207(s,('not' S)) is non pair V21() V22() V23() V27() boolean set
K206(('not' s),('not' S)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' s) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s)) is set
('not' ('not' s)) '&' ('not' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' s)),('not' ('not' S))) is set
'not' (('not' ('not' s)) '&' ('not' ('not' S))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' s)) '&' ('not' ('not' S)))) is set
K207(('not' S),s) '&' K207(s,('not' S)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' S),s),K207(s,('not' S))) is set
'not' K208(('not' S),s) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' S),s)) is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
p . x is set
p . b is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
(Following p) . x is set
(Following p) . b is set
proj1 p is set
the carrier' of (x,b) is set
<*x,b*> * p is Relation-like Function-like set
() . (<*x,b*> * p) is non pair V21() V22() V23() V27() boolean set
InputVertices (x,b) is Element of K19( the carrier of (x,b))
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
p . x is set
p . b is set
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
(Following p) . x is set
(Following p) . b is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) '&' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' S),s) is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
p . x is set
p . b is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
(Following p) . x is set
(Following p) . b is set
proj1 p is set
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
K19( the carrier of (x,b)) is set
the carrier' of (x,b) is set
<*x,b*> * p is Relation-like Function-like set
() . (<*x,b*> * p) is non pair V21() V22() V23() V27() boolean set
InputVertices (x,b) is Element of K19( the carrier of (x,b))
{x,b} is non with_pair set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
p . x is set
p . b is set
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(Following p) . (x,b) is set
(Following p) . x is set
(Following p) . b is set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) '&' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' S),s) is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
S is non pair set
s is non pair set
(S,s) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(S,s) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*S,s*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*S,s*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(S,s) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*S,s*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(S,s) +* (S,s) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(S,s) is strict non-empty finitely-generated V105((S,s)) gate`2=den Boolean MSAlgebra over (S,s)
(S,s) is strict non-empty finitely-generated V105((S,s)) gate`2=den Boolean MSAlgebra over (S,s)
1GateCircuit (S,s,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*S,s*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*S,s*>,())
(S,s) is strict non-empty finitely-generated V105((S,s)) gate`2=den Boolean MSAlgebra over (S,s)
1GateCircuit (S,s,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*S,s*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*S,s*>,())
(S,s) +* (S,s) is strict non-empty finitely-generated V105((S,s) +* (S,s)) gate`2=den Boolean MSAlgebra over (S,s) +* (S,s)
the Sorts of (S,s) is Relation-like the carrier of (S,s) -defined Function-like V14( the carrier of (S,s)) set
the carrier of (S,s) is set
K216( the Sorts of (S,s)) is functional V47() V48() set
s2 is non pair set
a is non pair set
(s2,a) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(s2,a) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*s2,a*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*s2,a*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(s2,a) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*s2,a*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(s2,a) +* (s2,a) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(s2,a) is strict non-empty finitely-generated V105((s2,a)) gate`2=den Boolean MSAlgebra over (s2,a)
(s2,a) is strict non-empty finitely-generated V105((s2,a)) gate`2=den Boolean MSAlgebra over (s2,a)
1GateCircuit (s2,a,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*s2,a*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*s2,a*>,())
(s2,a) is strict non-empty finitely-generated V105((s2,a)) gate`2=den Boolean MSAlgebra over (s2,a)
1GateCircuit (s2,a,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*s2,a*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*s2,a*>,())
(s2,a) +* (s2,a) is strict non-empty finitely-generated V105((s2,a) +* (s2,a)) gate`2=den Boolean MSAlgebra over (s2,a) +* (s2,a)
the Sorts of (s2,a) is Relation-like the carrier of (s2,a) -defined Function-like V14( the carrier of (s2,a)) set
the carrier of (s2,a) is set
K216( the Sorts of (s2,a)) is functional V47() V48() set
c₁₀ is non pair set
c₁₁ is non pair set
(c₁₀,c₁₁) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(c<sub>10</sub>,c<sub>11</sub>) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*c₁₀,c₁₁*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*c₁₀,c₁₁*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(c<sub>10</sub>,c<sub>11</sub>) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*c₁₀,c₁₁*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(c<sub>10</sub>,c<sub>11</sub>) +* (c<sub>10</sub>,c<sub>11</sub>) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(c₁₀,c₁₁) is strict non-empty finitely-generated V105((c₁₀,c₁₁)) gate`2=den Boolean MSAlgebra over (c<sub>10</sub>,c<sub>11</sub>)
(c<sub>10</sub>,c<sub>11</sub>) is strict non-empty finitely-generated V105((c<sub>10</sub>,c<sub>11</sub>)) gate`2=den Boolean MSAlgebra over (c₁₀,c₁₁)
1GateCircuit (c₁₀,c₁₁,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*c₁₀,c₁₁*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*c<sub>10</sub>,c<sub>11</sub>*>,())
(c<sub>10</sub>,c<sub>11</sub>) is strict non-empty finitely-generated V105((c<sub>10</sub>,c<sub>11</sub>)) gate`2=den Boolean MSAlgebra over (c₁₀,c₁₁)
1GateCircuit (c₁₀,c₁₁,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*c₁₀,c₁₁*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*c<sub>10</sub>,c<sub>11</sub>*>,())
(c<sub>10</sub>,c<sub>11</sub>) +* (c<sub>10</sub>,c<sub>11</sub>) is strict non-empty finitely-generated V105((c<sub>10</sub>,c<sub>11</sub>) +* (c<sub>10</sub>,c<sub>11</sub>)) gate`2=den Boolean MSAlgebra over (c₁₀,c₁₁) +* (c₁₀,c₁₁)
the Sorts of (c₁₀,c₁₁) is Relation-like the carrier of (c₁₀,c₁₁) -defined Function-like V14( the carrier of (c₁₀,c₁₁)) set
the carrier of (c₁₀,c₁₁) is set
K216( the Sorts of (c₁₀,c₁₁)) is functional V47() V48() set
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
(Following p) . (x,b) is set
p . x is set
p . b is set
<*(p . x),(p . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(p . x),(p . b)*> is non pair V21() V22() V23() V27() boolean set
s1 is Relation-like Function-like Element of K216( the Sorts of (S,s))
Following s1 is Relation-like Function-like Element of K216( the Sorts of (S,s))
(S,s) is Element of InnerVertices (S,s)
InnerVertices (S,s) is non empty Element of K19( the carrier of (S,s))
the carrier of (S,s) is set
K19( the carrier of (S,s)) is set
[<*S,s*>,()] is non empty pair set
(Following s1) . (S,s) is set
s1 . S is set
s1 . s is set
<*(s1 . S),(s1 . s)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(s1 . S),(s1 . s)*> is non pair V21() V22() V23() V27() boolean set
c₉ is Relation-like Function-like Element of K216( the Sorts of (s2,a))
Following c₉ is Relation-like Function-like Element of K216( the Sorts of (s2,a))
(Following c₉) . s2 is set
c₉ . s2 is set
c₁₂ is Relation-like Function-like Element of K216( the Sorts of (c₁₀,c₁₁))
Following c₁₂ is Relation-like Function-like Element of K216( the Sorts of (c₁₀,c₁₁))
(Following c₁₂) . c₁₁ is set
c₁₂ . c₁₁ is set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p is Relation-like Function-like Element of K216( the Sorts of (x,b))
p . x is set
s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
p . b is set
Following p is Relation-like Function-like Element of K216( the Sorts of (x,b))
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
(Following p) . (x,b) is set
'not' S is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,S) is set
('not' S) 'xor' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K208(('not' S),s) is non pair V21() V22() V23() V27() boolean set
K207(('not' S),s) is non pair V21() V22() V23() V27() boolean set
'not' ('not' S) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' S)) is set
K206(('not' ('not' S)),s) is non pair V21() V22() V23() V27() boolean set
'not' ('not' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' ('not' S))) is set
'not' s is non pair V21() V22() V23() V27() boolean set
K100(1,s) is set
('not' ('not' ('not' S))) '&' ('not' s) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' ('not' S))),('not' s)) is set
'not' (('not' ('not' ('not' S))) '&' ('not' s)) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' ('not' S))) '&' ('not' s))) is set
K207(s,('not' S)) is non pair V21() V22() V23() V27() boolean set
K206(('not' s),('not' S)) is non pair V21() V22() V23() V27() boolean set
'not' ('not' s) is non pair V21() V22() V23() V27() boolean set
K100(1,('not' s)) is set
('not' ('not' s)) '&' ('not' ('not' S)) is non pair V21() V22() V23() V27() boolean set
K97(('not' ('not' s)),('not' ('not' S))) is set
'not' (('not' ('not' s)) '&' ('not' ('not' S))) is non pair V21() V22() V23() V27() boolean set
K100(1,(('not' ('not' s)) '&' ('not' ('not' S)))) is set
K207(('not' S),s) '&' K207(s,('not' S)) is non pair V21() V22() V23() V27() boolean set
K97(K207(('not' S),s),K207(s,('not' S))) is set
'not' K208(('not' S),s) is non pair V21() V22() V23() V27() boolean set
K100(1,K208(('not' S),s)) is set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
[<*x,b*>,()] is non empty pair set
(Following p) . (x,b) is set
('not' S) '&' s is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' S),s) is set
(Following p) . x is set
(Following p) . b is set
x is non pair set
b is non pair set
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
<*x,b*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
1GateCircStr (<*x,b*>,()) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) +* (x,b) is non empty non void strict Circuit-like unsplit gate`1=arity gate`2isBoolean gate`2=den ManySortedSign
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) is strict non-empty finitely-generated V105((x,b)) gate`2=den Boolean MSAlgebra over (x,b)
1GateCircuit (x,b,()) is strict non-empty finitely-generated V105( 1GateCircStr (<*x,b*>,())) gate`2=den Boolean MSAlgebra over 1GateCircStr (<*x,b*>,())
(x,b) +* (x,b) is strict non-empty finitely-generated V105((x,b) +* (x,b)) gate`2=den Boolean MSAlgebra over (x,b) +* (x,b)
the Sorts of (x,b) is Relation-like the carrier of (x,b) -defined Function-like V14( the carrier of (x,b)) set
the carrier of (x,b) is set
K216( the Sorts of (x,b)) is functional V47() V48() set
s is Relation-like Function-like Element of K216( the Sorts of (x,b))
Following s is Relation-like Function-like Element of K216( the Sorts of (x,b))
Following (Following s) is Relation-like Function-like Element of K216( the Sorts of (x,b))
{x,b} is non with_pair set
[<*x,b*>,()] is non empty pair set
[<*x,b*>,()] is non empty pair set
{[<*x,b*>,()],[<*x,b*>,()]} is Relation-like set
{x,b} \/ {[<*x,b*>,()],[<*x,b*>,()]} is set
(Following s) . [<*x,b*>,()] is set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
(Following s) . (x,b) is set
s . x is set
s . b is set
<*(s . x),(s . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*(s . x),(s . b)*> is non pair V21() V22() V23() V27() boolean set
a is set
(Following (Following s)) . [<*x,b*>,()] is set
(x,b) is Element of InnerVertices (x,b)
InnerVertices (x,b) is non empty Element of K19( the carrier of (x,b))
the carrier of (x,b) is set
K19( the carrier of (x,b)) is set
(Following (Following s)) . (x,b) is set
(Following s) . x is set
(Following s) . b is set
<*((Following s) . x),((Following s) . b)*> is Relation-like K92() -defined Function-like non empty V34() V41(2) FinSequence-like FinSubsequence-like V49() set
() . <*((Following s) . x),((Following s) . b)*> is non pair V21() V22() V23() V27() boolean set
(Following (Following s)) . [<*x,b*>,()] is set
(Following (Following s)) . (x,b) is set
() . <*((Following s) . x),((Following s) . b)*> is non pair V21() V22() V23() V27() boolean set
(Following s) . [<*x,b*>,()] is set
(Following s) . (x,b) is set
() . <*(s . x),(s . b)*> is non pair V21() V22() V23() V27() boolean set
(Following (Following s)) . a is set
(Following s) . a is set
proj1 (Following s) is set
proj1 (Following (Following s)) is set