|
맵 등을 이용)
⑶ 완성된 부울대수식에 의하여 필요한 논리 게이트를 결정하여 논리회로를 구성한다.
예비 문제
1. 다음 논리식을 부울 정리 및 공리를 이용하여 증명하시오.
⑴ A+AB=A
☞ 부울정리 7
⑵ A+B=A+B
☞ 부울정리 8
⑶ (A+B)(A+C)=A+BC
☞ 부
|
|
|
나타날 수 없다고 증명할 수 있다면, 그 체계의 무모순성을 증명하게 된다. 1. 유클리드 이전의 수학
2. 유클리드 원론
3. 비유클리드 기하
4. 힐베르트의 기초
5. 대수적 구조
6. 형식적 공리학
7. 실수 체계
8. 집합
9. 논리학과 철학
|
|
|
공리란 무엇인가?
● 공리(axiom)란 무엇인가?
● 공리의 요소
● 공리에 대한 입장
● 공리의 요건
● 공리의 근거
● 집합과 공리의 방법
● 공리론적 수학의 발달
|
|
|
대수의 공리 및 정리
실험회로1
1) 실험과정
2) 실험결과
실험회로2
1) 실험과정
2) 실험결과
실험회로3
1) 실험과정
2) 실험결과
실험회로4
1) 실험과정
2) 실험결과
실험회로5
1) 실험과정
2) 실험결과
실험회로6
교환법칙
1)
|
|
|
대수의 공리와 정리 중에서 분배법칙을 이용하여 등식이 성립함을 간단하게 보일 수 있었다.
2.실험2
A.Data
Truth Table - 위 회로
A
B
C
X(V)
X
FPGA
0
0
0
0.145
0
0
0
0
1
0.003
0
0
0
1
0
0.056
0
0
0
1
1
4.79
1
1
1
0
0
4.79
1
1
1
0
1
4.98
1
1
1
1
0
5.11
1
1
1
1
1
5.05
1
1
Truth Table
|
|
메뉴펼치기
