공부방

카르노 맵(Karnaugh Map) 부울 함수의 간단한 논리합 형식을 찾아내는 방법 카르노 맵을 만들 때 변수가 2개이면 2x2, 변수가 3개면 4x2, 변수가 4개면 4x4, ... 인접하는 칸들은 동일한 변수를 갖고 있어야 한다. 앞의 예에서 (xy, xy', x'y', x'y)같이 된다. 그리고 인접되는 칸들은 원통처럼 연결되어 있다. 인접하는 칸들을 묶을 때는 2^n, n^(n-1),... 순으로 묶는다. 예를 들면 변수가 3개일 때 2^2, 2 순서로 인접하는 항을 묶는다.

게이트와 부울 연산 전자 장치의 입력과 출력은 0 또는 1이기 때문에 전자 회로를 설계하는데 부울 대수를 사용할 수 있다./ 게이트 : 회로의 기본 요소 인버터 하나의 입력과 하나의 출력을 가진다. 입력으로 받은 값의 보수를 출력한다. 인버터의 입력이 1이면 0을 출력, 0을 입력하면 1이 출력. OR 게이트 두 개 이상의 부울 변수 값을 입력으로 받아 이 값들의 부울 합을 출력한다. AND 게이트 두 개 이상의 부울 변수 값을 입력으로 받아 이 값들의 곱을 출력 논리 회로 설계 문제->입력과 출력 정의 부울 함수->부울식(논리식)->논리 회로

부울 대수 집합 S={0,1} 에 대해 다음의 세 가지 연산이 존재 보수(complement) 부울 합(boolean sum) 부울 곱(boolean product) 보수 '로 표시 원소 0에 대하여 0'=1, 원소 1에 대하여 1'=0 합 : +(OR) 1+1=1 1+0=1 0+1=1 0+0=0 곱 : *(AND)로 표시 (점은 생략하여 표기하기도 한다.) 1*1=1 1*0=0 0*1=0 0*0=0 연산 우선 순서 : 보수->곱->합 부울 변수 집합 S={0,1}의 원소 값만을 갖는 변수 부울 함수 0또는 1의 입력값들에 대하여 0또는 1의 출력값을 갖는 함수 차수 n의 부울 함수 부울 식 항등 n개의 변수로 이루어진 부울 함수 F,G가 있을 때, 모든 변수 x1, x2,...,xn 값에 대하여 F(x..

추론 이미 "참"으로 알고 있는 명제(들)로 부터 새로운 "참"인 명제를 찾아내려고 한다. 이러한 과정을 통해서 새로운 지식을 덕게 된다. 올바른 추론의 규칙을 우리는 논리라고 부른다. 추론의 타당성 P1, P2...들을 True라고 정해놓은것을 '전제'라고 한다. 새로운 명제를 찾아내려고 하는 것을 '결론'이라고 한다. 여기서 P들이 True라면 도출된 결론 Q는 True라고 주장할 때, 이 추론은 타당한가? 연역법 추론의 방법 중 하나 형식 논리의 다음과 같은 명제의 틀에 기반을 둔다. 연역법의 예 전제 : All men is mortal.(T) Socrates is a man.(T) 결론 : Therefore, Socrates is mortal.(T) 전제 : 모든 컴퓨터 공학과 학생들은 C언어를 ..