부울 대수와 명제의 연관성에 대한 연구
부울 대수와 명제의 연관성에 대한 연구
부울대수와 명제의 연관성에 대한 연구
목차
Ⅰ. 연구 동기 및 목적
이산수학에 대해 조사를 하던 도중 이산수학 내에서도 큰 비중을 차지하고 있는 ‘부울 대수’를 접하게 되었는데 부울 대수의 성질들이 우리들이 접해보았던 논리와 비슷한 점이 많다는 점을 알 수 있었다. 하지만 부울 대수와 논리에 대해 조사할수록 부울 대수가 논리를 바탕으로 만들어 졌다는 생각을 하게 되었고, 그에 대해 연구해보고 싶다는 생각이 들었다.
Ⅱ. 이론적 배경
정의 : 이항 연산자 +, · 과 단항 연산자 ’이 정의되고, 두 개의 독특한 원소인 0과 1이 존재하며, 그리고 모든 x, y, z∈ B에 대해서 다음의 성질을 만족하는 집합 B이다.
1. 부울 대수
명제 : 참과 거짓을 구별할 수 있는 식이나 문장
연결사 : 단순명제들을 이용하여 대수적 계산이 가능하도록 연결해주는 연산자.
(가)논리합 (Disjunction) p ∨ q p 또는 q (p or q)
(나)논리곱 (Conjunction) p ∧ q p 그리고 q (p and q)
(다)조건문 (Conditional) p → q p이면 q이다.(p if then q)
(라)쌍조건문 (Biconditional) p ↔ q p일 때만 q이다. (p if and only if q)
진리표 :합성명제를 포함한 모든 명제에 대한 입출력 결과를 기록하는 표
Ex)
2. 명제
....
목차
Ⅰ. 연구 동기 및 목적
이산수학에 대해 조사를 하던 도중 이산수학 내에서도 큰 비중을 차지하고 있는 ‘부울 대수’를 접하게 되었는데 부울 대수의 성질들이 우리들이 접해보았던 논리와 비슷한 점이 많다는 점을 알 수 있었다. 하지만 부울 대수와 논리에 대해 조사할수록 부울 대수가 논리를 바탕으로 만들어 졌다는 생각을 하게 되었고, 그에 대해 연구해보고 싶다는 생각이 들었다.
Ⅱ. 이론적 배경
정의 : 이항 연산자 +, · 과 단항 연산자 ’이 정의되고, 두 개의 독특한 원소인 0과 1이 존재하며, 그리고 모든 x, y, z∈ B에 대해서 다음의 성질을 만족하는 집합 B이다.
1. 부울 대수
명제 : 참과 거짓을 구별할 수 있는 식이나 문장
연결사 : 단순명제들을 이용하여 대수적 계산이 가능하도록 연결해주는 연산자.
(가)논리합 (Disjunction) p ∨ q p 또는 q (p or q)
(나)논리곱 (Conjunction) p ∧ q p 그리고 q (p and q)
(다)조건문 (Conditional) p → q p이면 q이다.(p if then q)
(라)쌍조건문 (Biconditional) p ↔ q p일 때만 q이다. (p if and only if q)
진리표 :합성명제를 포함한 모든 명제에 대한 입출력 결과를 기록하는 표
Ex)
2. 명제
....
-
기초회로실험(예비+결과) - 부울대수의 정리
부울대수의 정리 예비 보고서 1. 실험 목적 (1) 부울대수(Boolen algebra)의 기본적인 공리와 정리를 이해하고 증명한다. (2) 부울대수식을 이용한 논리회로의 간략화 및 논리식 표현을 익힌다. (3) 다양한 논리.. -
컴퓨터공학 및 기초설계 - Digital logic 레포트 Boolean algebra, XOR, 카르노맵
0. 배경이론 Bool 대수와 De Morgan의 정리 -Bool대수 부울 대수는 0과1의 2개 요소와 +, . 의 두 연산자만을 사용하는 대수로서 공리를 바탕으로 전개되는 대수이다. 카르노맵 카르노 맵은 부울식을 간소화하기 .. -
논리회로 - 부울대수, 논리게이트, 카르노맵에 관해
Boolean AlgebraLogic Gate Karnaugh Map 목 차 부울대수(Boolean Algebra) 논리게이트(Logic Gate) 카르노맵(Karnaugh Map) 2변수, 3변수, 4변수 카르노맵 간소화 방법 문제 풀이 부울 대수(Boolean Algebra) 185.. -
정보통신 실습 - 부울대수의 정리(결과 보고서)
부울대수의 정리 1. 실험 목적 ▣ 부울대수(Boolen algebra)의 기본적인 공리와 정리를 이해하고 증명한다. ▣ 부울대수식을 이용한 논리회로의 간략화 및 논리식 표현을 익힌다. ▣ 다양한 논리회로를 부울대수식으.. -
부울대수 방정식 레포트
.. -
전기전자 - 부울 대수 개념
♣ 부울 대수 개념 1854년에 발표된 사고의 법칙 에서 AND, OR, NOT이라는 연산자를 사용해 이진 정보를 처리할 수 있는 모델로 논이적인 판단을 수학적으로 해서하기 위해 영국의 수학자 George Boole이 제안한이.. -
기본 논리학습
2.목적: 1)기본논리함수인 AND,OR,INVERT,NAND,NOR를 공부한다. 2)진리표,논리도 및 부울대수에 의해 이들 함수를 표현하는 법을 공부한다. -
연구방법이 연역법적 연구방법보다 과학적이다라는 명제에 대한 의견
귀납법적 연구방법이 연역법적 연구방법보다 과학적이다라는 명제에 대한 의견 귀납법적 연구방법이 연역법적 연구방법보다 과학적이라는 주장에 대한 논의 과학적 연구에서 연구방법은 매우 중요한 요소이며, 대.. -
(사회복지조사론) 인과관계와 연구디자인
(사회복지조사론) 인과관계와 연구디자인 보고서 입니다. 목차를 보시면 전체적인 내용을 확인 하실 수 있습니다. 조를 이뤄 작성하여 내용 완성도가 높아 교수님도 만족해하신 레포트 입니다. Ⅰ서론 인과관계와 .. -
전기전자공학 - 기본논리 게이트
1. 목 적 기본 논리게이트인 NOT, AND, OR, NAND, NOR, XOR 게이트의 동작 특성 및 응용에 대하여 살펴본다. 2. 이 론 디지털 시스템은 “1”과 “0” 두 가지 상태만을 가지는 소자들로 구성되며, 이들의 논리연산에..
