부울대수

기본 연산은 논리합(OR), 논리곱(AND), 논리부정(NOT)이다. OR와 AND는 각각 집합의 합집합과 교집합에 대응하는 연산으로 볼 수 있고, NOT은 한 값의 보수에 해당한다.^[2][3]

부울대수에서는 논리 관계를 식으로 나타내고, 그 식을 변형해 더 간단한 표현을 찾을 수 있다. 이런 표현은 회로의 입력과 출력 사이 관계를 정리하고 논리 회로를 설계하는 데 활용된다.^[2][4]

부울대수는 집합과 두 이항 연산(+, ·), 한 단항 연산(−), 그리고 0과 1을 갖춘 구조로 정의된다. 이 구조에서는 덧셈과 곱셈에 해당하는 연산이 각각 교환법칙과 결합법칙을 만족하며, 두 연산 사이에는 양방향 분배법칙이 성립한다.^[1]

특수 법칙으로 흡수법칙과 보수법칙이 있다. 예를 들어 x + (x · y) = x, x · (x + y) = x이며, x와 그 보수의 OR는 1, AND는 0이 된다.^[1] 이 법칙들은 논리식을 변형하거나 간소화할 때 기준이 된다.^[2]

논리값은 0과 1, 참과 거짓, 또는 신호의 유무처럼 두 상태로 나타낼 수 있다. 부울 변수는 이런 값 가운데 하나를 가지며, 논리 연산은 입력값에 따라 새로운 논리값을 정한다.^[2][3]

연산 표기에서 OR는 +, AND는 ·로 나타내고, NOT은 부정 기호로 표시한다. 사이언스올 자료는 부울식에서 NOT, AND, OR 순으로 연산 우선순위를 제시한다.^[3] 이 표기법은 명제 논리의 관계를 식으로 표현하는 데 쓰인다.^[2]

부울식은 부울 변수와 논리 연산자를 결합해 논리 관계를 표현한 식이다. 변수에 어떤 값이 주어졌을 때 식의 결과를 계산하면 해당 입력에 대한 출력값을 얻는다.^[3]

여러 변수의 입력과 출력 관계는 진리표로 정리할 수 있다. 변수 n개로 만들 수 있는 입력 조합은 2ⁿ개이며, 부울 함수는 각 입력 조합에 대응하는 출력값을 정하는 함수로 나타낸다.^[3] 이러한 표현은 회로의 기능을 식과 표로 연결한다.^[2]

부울대수의 법칙을 적용하면 같은 논리 관계를 더 간단한 식으로 표현할 수 있다. 기본 법칙에 따른 식의 변형은 부울 함수식을 간소화하는 한 방법이다.^[2][3]

또 다른 방법인 카노 맵은 최소항을 표에 배치하고 인접한 항들을 묶어 식을 간소화한다. 묶음은 2의 배수 개수로 만들며, 사이언스올 자료는 카노 맵이 통상 6개 이하 변수의 간소화에 쓰인다고 설명한다.^[3]

부울식은 디지털 회로의 입력과 출력 사이 관계를 수학적으로 나타내는 데 쓰인다. 컴퓨터의 디지털 회로는 참과 거짓, 1과 0, 신호의 유무처럼 두 상태를 처리하며, 그 동작 관계를 부울식으로 표현할 수 있다.^[2][4]

회로 설계 흐름은 기능 요구사항을 정리하고, 진리표를 만든 뒤, 부울식을 세우고 간소화해 논리 회로로 옮기는 순서로 제시된다.^[2] 따라서 부울대수는 논리 게이트의 연결 관계와 회로 동작을 표현하는 수단이 된다.^[2][4]

• 논리합
• 논리곱
• 논리부정
• 카노 맵

^[1] Pplato.stanford.edu(새 탭에서 열림)

^[2] Wwww.ktword.co.kr(새 탭에서 열림)

^[3] Wwww.scienceall.com(새 탭에서 열림)

^[4] Wwww.reportworld.co.kr(새 탭에서 열림)