論理演算の再検証 - 科学の基礎を再検証するwiki

科学の基礎を再検証するwiki - 論理演算の再検証

論理演算

1+1=1

a*(b*c)=(a*b)*c
a+(b+c)=(a+b)+c
a*b=b*a
a+b=b+a
a+(a*b)=a
a*(a+b)=a
a*(b+c)=(a+b)*(a+c)
a+(bc)=(a+b)*(a+c)
a*￢a=0
a+￢a=1
a*a=a
a+a=a
a+0=a
a*1=a
a*0=0
a+1=1
￢0=1
￢1=0
￢(a*b)=￢a+￢b
￢(a+b)=￢a*￢b