부울대수 법칙 증명

부울대수의 법칙에는 교환법칙, 결합법칙, 분배법칙, 드로르간의 정리, 흡수법칙, 합의의 정의 등이 있다. 이러합 부울대수 법칙을 증명하는 방법은 진리표를 만들어 양변이 동일하다는 것을 보이면 된다.

예를 들면 분배법칙인 X(Y+Z) = XY + XZ는 다음과 같이 증명할 수 있다.

양변 식의 결과값이 동일하기 때문에 분배법칙이 성립한다.