문장을 p, q 같은 변수와 참·거짓 값으로 바꿉니다.
명제에서 논리회로로 넘어가는 연결 기준
참과 거짓의 표를 만든 뒤, 부울대수 법칙으로 줄이고, 게이트 이름으로 바꾸면 논리식과 회로가 같은 문제로 보입니다.
AND, OR, XOR, 조건문의 결과를 행마다 확인합니다.
드모르간, 흡수, 분배 법칙으로 같은 값을 줄입니다.
곱은 AND, 합은 OR, 부정은 NOT 게이트로 옮깁니다.
진리표와 동치식
식 모양보다 모든 입력 조합에서 결과가 같은지가 우선입니다.
모두 참일 때만 참
부울대수에서는 곱으로 쓰고 회로에서는 AND 게이트입니다.
하나라도 참이면 참
일반 덧셈이 아니라 논리합이므로 1 + 1도 참입니다.
값을 반대로 뒤집기
드모르간에서는 부정이 안쪽으로 들어가며 연산자가 바뀝니다.
기본 게이트를 만들 수 있음
NAND와 NOR는 다른 게이트를 구성할 수 있어 회로에서 중요합니다.