참 또는 거짓이 분명한 문장만 논리식의 재료가 됩니다.
진리표에서 회로까지 한 번에 읽는 법
명제논리, 부울대수, 논리게이트는 같은 참거짓 규칙을 기호, 식, 회로 모양으로 바꿔 보는 단원입니다.
AND, OR, NOT, XOR의 결과를 진리표로 먼저 고정합니다.
교환, 결합, 분배, 드모르간으로 식을 짧게 바꿉니다.
논리식의 연산자 하나가 회로 기호 하나로 대응됩니다.
조건문 진리값 예외
쌍조건문은 두 값이 같을 때 참이고, XOR은 두 값이 다를 때 참이라는 식으로 서로 짝을 지어 기억합니다.
드모르간
전체 부정은 AND와 OR을 서로 바꾸고 각 항을 부정합니다.
항진과 모순
모든 행이 참이면 항진명제, 모든 행이 거짓이면 모순명제입니다.
NAND와 NOR
두 게이트만으로 다른 기본 게이트를 만들 수 있어 완전성이 중요합니다.
식에서 회로
괄호 안쪽 연산부터 게이트로 만들고 출력선을 다음 게이트 입력으로 보냅니다.