科学の基礎を再検証する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