① X는 논리 변수라면
(1) 논리 대수의 공리
① X는 논리 변수라면
(2) 논리 대수의 정리
① 1변수인 경우의 정리 ★
② 2변수 이상인 경우의 정리 ★
[정리7]=교환법칙 [정리8]=결합법칙 [정리9]=분배법칙
[정리10]=흡수법칙 [정리11]=드 모르간의 법칙
(3) 카르노도에 의한 불 대수의 간략화 ★★
① 카르노도 : 진리값표의 각 값을 여러개의 작은 직사각형으로 나타내는 것. 수평이나 수직방향의
인접 항을 한 변수만 다른 논리 상태가 되도록 나타내고, 최소항은 0과 1의 논리상태로 나타냄.
② 카르노도를 이용한 간소화 기법
a. 진리값표로부터 최소항의 불 대수식을 작성한다.
b. 주어진 논리 함수에 포함된 표준급 또는 진리값표에서 출력이 1인 입력 변수의 조합에
대응하는 카르노도의 최소항에 1을 나타낸다.
c. 인접한 최소항끼리 2개, 4개, 8개, … 등을 한 묶음으로 하여 최대한 큰 묶음으로 묶고,
필요한 경우에는 여러겹으로도 묶는다. 이 때, 함께 묶이는 최소항을 서브큐브라 한다.
d. 묶음 루프 내에서 인접한 최소항 끼리의 보수와 정상 상태의 보수를 제거한다.
e. 남은 최소항들로부터 곱의 합 형태로 된 간소한 논리식을 쓴다.