부울 대수 정리, 논리 연산 정리

(2017-11-24)
1. 논리 연산 정리변수연산들이 서로 엮어지는 성질들에 관한 정리/법칙
     - 교환 법칙
        .  A B = B A,  A + B = B + A

     - 결합 법칙
        .  (A B) C = A (B C),  (A + B) + C = A + (B + C)

     - 분배 법칙
        .  A (B + C) = A B + A C,  A + (B C) = (A + B) (A + C)

  ㅇ 동일률 (Identity Law)
     -  A A = A,  A + A = A 
        . (자기 자신을 OR 또는 AND 중복 연산하면 다시 자기 자신이 됨)

  ㅇ 반전 법칙 (Negation Law)
     - 
        . (중복 반전은 다시 자기자신이 됨)

  ㅇ 드모르간의 법칙
     - 
        . (논리식 전체를 반전시키면, `개별 변수의 반전 및 연산자의 뒤바뀜이 함께 일어남`)


[부울 대수] 1. 부울대수 2. 부울 식 3. 드모르간의 법칙 4. 진리값,진리표 5. 카르노 맵 6. 부울 대수 정리

 
        최근수정     요약목록     참고문헌