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
c9 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s2,a,c9*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s2,a,c9*> 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)) '&' c9 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' s2) '&' ('not' a)),c9) is set
c10 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c11 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c12 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*c10,c11,c12*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*c10,c11,c12*> is non pair V21() V22() V23() V27() boolean set
'not' c10 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c10) is set
'not' c11 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c11) is set
('not' c10) '&' ('not' c11) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97(('not' c10),('not' c11)) is set
'not' c12 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,c12) is set
(('not' c10) '&' ('not' c11)) '&' ('not' c12) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' c10) '&' ('not' c11)),('not' c12)) 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
c9 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
<*s2,a,c9*> is Relation-like K92() -defined Function-like non empty V34() V41(3) FinSequence-like FinSubsequence-like V49() nonpair-yielding set
() . <*s2,a,c9*> 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)) '&' c9 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K97((('not' s2) '&' ('not' a)),c9) is set
'not' ((('not' s2) '&' ('not' a)) '&' c9) is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
K100(1,((('not' s2) '&' ('not' a)) '&' c9)) is set
c10 is non pair V21() V22() V23() V27() boolean Element of BOOLEAN
c11 is non pair V21()