[수학과] 불대수 Booleanalgebra
페이지 정보
작성일 22-10-26 10:44
본문
Download : [수학과] 불대수 Booleanalgebra.hwp
x의 보원을 x`로 나타내는 경우가 많다.
![[수학과]%20불대수%20Booleanalgebra_hwp_01.gif](http://www.allreport.co.kr/View/%5B%EC%88%98%ED%95%99%EA%B3%BC%5D%20%EB%B6%88%EB%8C%80%EC%88%98%20Booleanalgebra_hwp_01.gif)
![[수학과]%20불대수%20Booleanalgebra_hwp_02.gif](http://www.allreport.co.kr/View/%5B%EC%88%98%ED%95%99%EA%B3%BC%5D%20%EB%B6%88%EB%8C%80%EC%88%98%20Booleanalgebra_hwp_02.gif)
[수학과] 불대수 Booleanalgebra , [수학과] 불대수 Booleanalgebra자연과학레포트 , 수학과 불대수 Booleanalgebra
설명
레포트/자연과학
『불대수 (Boolean algebra)』
현대 수학에 속하는 대수학의 한 분과로서, G.불이 논리계산을 형식화하여 도입한 대수계.
두 가지의 2항연산 ∩(논리곱)과 ∪(논리합)에 관하여 다음과 같이 ① 교환법칙 ② 결합법칙 ③ 흡수법칙을 만족하는 것을 속(束)이라 하고, ①～③의 등식은 속항등식이라 한다. 쌍대성이 성립하므로 한쪽의 성질을 증명하면, 이것과 쌍대인 다른쪽의 성질도 동시에 증명한 셈이 된다 또 0, 1인 2수의 대수이므로 2진법에 적용시킬 수 있다 더욱 집합론의 논리곱 ?논리합 ?부정에 각각 and, or, not를 대응시키면 불대수의 또 하나의 모델로서 논리연산의 체계가 성립한다. y
① 불 대수 공리
공리1
공리2
공리3
공리4
공리5
①
A ≠ 0 이면 A = 1
0?0 = 0
1?1 = 1
0?1 = 0
1` = 0 …(To be continued )
[수학과] 불대수 Booleanalgebra
Download : [수학과] 불대수 Booleanalgebra.hwp( 70 )
순서
수학과,불대수,Booleanalgebra,자연과학,레포트
[수학과] 불대수 Booleanalgebra
다. ① x∩y=y∩x, x∪y=y∪x ② x∩(y∩z)=(x∩y)∩z x∪(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
또, 분배법칙 x∩(y∪z)=(x∩y)∪(x∩z) x∪(y∩z)=(x∪y)∩(x∪z) 를 만족할 때 분배적이라 하고, 그 속을 분배속이라 한다. 이들 ①～③의 속항등식 및 가보속 ?분배속의 모든 것을 만족시키는 것이 가보분배속(可補分配束, 불束) 또는 불대수이며, 또 그 연구영역도 같이 불대수라고 한다. 속의 임의의 원소에 대하여 그 보원이 속 안에 적어도 하나 있을 때 가보적(可補的)이라 하며, 그 속을 가보속(可補束)이라 ..
『불대수 (Boolean algebra)』
현대 수학에 속하는 대수학의 한 분과로서, G.불이 논리계산을 형식화하여 도입한 대수계.
두 가지의 2항연산 ∩(논리곱)과 ∪(논리합)에 관하여 다음과 같이 ① 교환법칙 ② 결합법칙 ③ 흡수법칙을 만족하는 것을 속(束)이라 하고, ①～③의 등식은 속항등식이라 한다. ① x∩y=y∩x, x∪y=y∪x ② x∩(y∩z)=(x∩y)∩z x∪(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를 서로 상보적이라 하며, 한쪽을 다른쪽의 보원(또는 否定)이라 한다.
