Boolean 대수

Boolean 대수란 Boole이 이진수 값 0과 1이 논리 값 True False로 인코딩하면 논리 추론의 기본 원리들을 구현하는 대수학을 수식화 할 수 있는 점을 발견했고 이를 Boolean 대수라 한다 위의 그림은 논리연산과 Bool 대수 간의 관계를 표로 나타낸 것이다. 핵심은 0과 1 집합으로 이루어진 Bool 대수를 통해 논리 연산을 구할 수 있다는 것이다 Boolean 대수로 비트 벡터 구하기 위의 그림의 4가지 부울 연산을 0과 1로 이루어진 비트 벡터에고 적용가능하다 비트 벡터 a, b가 있다하자.

이 때 a와 b는 아래와 같이 표시할 수 있다 a와 b는 부울 연산을 길이가 w인 벡터로 i 번째 원소(0 =< i =< w)인 i에 대해 a와 b의 원소로..........