Boolean Algebra

논리연산 AND, 논리곱 두 명제가 모두 참일경우 참값을 반환한다. AND는 곱셈과 동치이다. OR, 논리합 두 명제중 한 명제만 참이어도 참값을 반환한다. 덧셈과 동치이다. NOT, 부정 참과 거짓을 뒤집는다. 연산법칙 쌍대성을 확인할수 있다. (좌우가 서로 곱과 합, 0과 1을 바꾸는것으로 성립) 불대수에는 역원이 존재하지 않기에 이항불가하다. 충족가능성 논리함수 f(x1, x2, ..., xn)에 대해, f(x1, x2, ..., xn)=1이 되는 x1, x2, ..., xn의 조합이 존재할경우, 함수 f는 충족가능하다. 반대로, 그러한 조합이 존재하지 않을경우 함수 f는 충족불가능하다....

Boolean Algebra에 대한 요약내용입니다.

자세한 내용은 아래에 원문링크를 확인해주시기 바랍니다.

원문링크 : Boolean Algebra