[수학] 불대수Booleanalgebra

1. [수학] 불대수Booleanalgebra.hwp
2. [수학] 불대수Booleanalgebra.pdf
[수학] 불대수Booleanalgebra
『불대수 (Boolean algebra)』

현대 수학에 속하는 대수학의 한 분과로서, G.불이 논리계산을 형식화하여 도입한 대수계.

두 가지의 2항연산 ∩(논리곱)과∪(논리합)에 관하여 다음과 같이 ① 교환법칙 ② 결합법칙 ③ 흡수법칙을 만족하는 것을 속(束)이라 하고, ①~③의 등식은 속항등식이라 한다. ①x∩y=y∩x, x∪y=y∪x②x∩(y∩z)=(x∩y)∩zx∪(y∪z)=(x∪y)∪z③x∩(x∪y)=x, x∪(x∩y)=x 멱등법칙 x∩x=x, x∪x=x는 흡수법칙으로부터 유도된다. 속의 원소로서 0(최소단위 또는 零元)및1(최대단위 또는 單位元)이 존재할 때x∩y=0이고 x∪y=1을 만족하는 원소 x,y를 서로 상보적이라 하며, 한쪽을 다른쪽의 보원(또는 否定)이라 한다. x의 보원을 x로 나타내는 경우가 많다. 속의 임의의 원소에 대하여 그 보원이 속 안에 적어도 하나 있을 때 가보적(可補的)이라 하며, 그 속을 가보속(可補束)이라 한다. y

....