명제논리의 참과 거짓은 부울대수의 1과 0으로 바뀌고, 다시 AND, OR, NOT 같은 논리게이트로 구현됩니다.
입력 조합을 빠짐없이 나열해 연산 결과를 확인합니다.
NOT, AND, OR, XOR, 조건문, 쌍조건문의 거짓 조건을 구분합니다.
논리식을 0과 1의 대수 규칙으로 간소화합니다.
간소화된 식을 실제 회로 블록으로 옮겨 생각합니다.