假设读者熟悉普通代数与布尔代数,下面是部分常见的涉及到加法、减法与逻辑运算符的组合:
a. -x=~x+1
b. =~(x-1)
c. ~x=-x-1
d. -~x=x+1
e. ~-x=x-1
f. x+y=x-~y-1
g. =(x^y)+2(x&y)
h. =(x|y)+(x&y)
i. =2(x|y)-(x^y)
j. x-y=x+~y+1
k. =(x^y)-2(~x&y)
l. =(x&~y)-(~x&y)
m. =2(x&~y)-(x^y)
n. x^y=(x|y)-(x&y)
o. x&~y=(x|y)-y
p. =x-(x&y)
q. ~(x-y)=y-x-1
r. =~x+y
s. ~(x^y)=(x&y)-(x|y)-1
t . =(x&y)+~(x|y)
u. x|y=(x&~y)+y
v. x&y=(~x|y)-~x