문장, 진리표, 부울대수, 논리게이트는 서로 다른 과목처럼 보여도 모두 같은 판단 규칙을 표현합니다.
p와 q가 모두 참이면 출력한다.
“A가 켜지고 B도 켜진다”는 A·B입니다.
A·B + C는 먼저 AND를 만들고, 그 결과와 C를 OR로 합칩니다.
식이 바뀌어도 결과 열이 같으면 같은 논리입니다. 그래서 진리표로 확인하고, 부울대수로 줄이고, 게이트로 구현합니다.