논리식을 수학식으로 표현하면 장점을 얻을 수 있다. 같은 논리식은 똑같이 표현된다. 깔끔함이 느껴져서 기분이 좋다. 기본 연산 $$NOT(X) = 1-X$$ NOT 연산을 위와 같이 만들 수 있다. $$AND(X,Y) = XY$$ AND 연산도 만들 수 있다. $$OR(X,Y)$$ $$= NOT(AND(NOT(X),NOT(Y)))$$ $$= 1-(1-X)(1-Y) = X+Y-XY$$ OR 연산도 만들 수 있다. $$XOR(X,Y)$$ $$= OR(AND(NOT(X),Y),AND(X,NOT(Y))$$ $$= (1-X)Y+X(1-Y)-XY(1-X)(1-Y)$$ $$= X+Y-3XY+XXYY$$ $$= X+Y-3XY+XY = X+Y-2XY$$ XOR 연산도 만들 수 있다. 증명에 사용 $$X^n = X$$ 숫..
