명제에서 게이트까지 같은 참·거짓을 따라간다
명제논리의 참과 거짓은 부울대수의 1과 0이 되고, 논리게이트에서는 전기 신호의 출력으로 이어집니다.
참인지 거짓인지 판별되는 문장
조건이 애매한 문장은 명제가 아니므로 먼저 제외합니다.
AND, OR, NOT 계산
진리표를 만들면 복잡한 식도 입력 조합별 출력으로 한 줄씩 검산됩니다.
부울식을 회로 기호로 바꾼다
AND, OR, NOT, XOR의 입력과 출력 패턴을 연결합니다.
같은 출력을 더 짧게 만든다
드모르간 법칙과 항등식을 이용해 회로 수를 줄입니다.