표준화 이론 표준형 구조나무 표준화 정리  ∧ ∨ → ↔  =.

Slides:



Advertisements
Similar presentations
유클리드 이후의 그리스 수학. 아르키메데스 ( 기원전 ) 죽은 뒤 묘비위에 원기둥에 내접한 구 모형을 만 들어 달라고 저서 : 평면기하에 관한 것 ① 원의 측정 - π 를 계산 하는 고전적인 방법을 처음시도 ② 포물선의 구적법 - 24 개의 명제로 구성,
Advertisements

열왕기 상하는 중요하다 ! 왜 ? 시가 3 권 예언서 12 원 열왕기 상하는 중요하다 ! 대라느스 단겔학슥말.
 수학 10- 나  1 학년 2 학기  Ⅰ. 도형의 방정식 1. 평면좌표 (1/24) 두 점 사이의 거리 수업 계획 수업 활동.
제 5 강 근대수학의 여명 무리수 (Irrational number) 인도, 아라비아 (0 과 음수 ) 데카르트 - 해석기하학.
명륜종합사회복 지관. * 강사 : 소 찾는 아이 작가 이상희, 김매화 팀장 외 * 북아트란 : 논술교육의 중요성, 자유로운 사고, 창 의력, 논리력 * 준비물 : 색연필, 사인펜, 연필, 지우개, 딱풀, 가위.
C-aC-bA-bB-aB-bB-cA-aA-c A. Head Section. A-b B-a B-b B-c C A-a A-c Top page.
성결 어린이 영등포교회 유년부 정답은 뒷면에 제 11-31호 2011월 8월 14일 어디로 가세요?
Ⅵ. 평 면 도 형 1. 기 본 도 형 2. 작도와 삼각형의 합동 3. 다각형과 원 수학
지적기초측량 경일대학교/부동산지적학과.
(2) 고대 국가의 성립  1) 고대 국가의 성격    ① 중앙 집권 체제      - 국왕의 지위 강화, 부족장 세력의 통합,
제가 소개할 인물은?? ^ㅡ^B1A4입^ㅡ^니다 5학년4반9번 이하민
1. 비정규노동이란 2. 비정규노동의 확대 원인 3. 비정규노동자의 삶 4. 비정규노동의 문제
Ⅵ. 빛(단원학습목표).
2015 담당 강사 : 정세진 중국 명문 감상 2015 담당 강사 : 정세진
제 4 장 구문 분석.
해시 함수.
통로이미지㈜ 마케팅실 신입/경력 모집 ◎ 모집부분 및 자격요건 ◎ 채용인원 ◎ 전형절차 ◎ 제출서류 ◎ 연봉 ◎ 사전인터뷰
울산 남구 달동 주상복합 신축공사 ㈜ 선엔지니어링종합건축사사무소.
주요추진업무 1. 청년학교 등 청년정책 프로그램 운영 청년학교 운영, 커뮤니티 디자이너 양성 등의 프로그램 운영을 통해
방송통신대학교 중국어 문법의 이해 제 1장 제2장.
2. 형식언어 (Formal Language)
문법과 언어.
목차 제1절 재고자산의 의의 및 분류 1. 재고자산의 의의 및 중요성 2. 재고자산의 분류 1. 재고자산의 의의 및 중요성 2. 재고자산의 분류 3. 재고자산오류의 영향 4. 재고자산 가격결정에 관한 기본문제 제2절 재고자산의 수량결정.
영덕풍력발전단지 준공 기념식 행사(안) 경영기획실.
DS020 오토마타형식언어 Chapter 6. Simplification of Context-Free Grammars and Normal Forms Exercises October 16, 2003.
Ⅷ. 도형의 닮음 1. 도형의 닮음 2. 삼각형과 평행선 3. 닮음의 응용.
인류의 분산 언어의 대 혼잡시기 창조,타락 홍수 바벨탑사건 아브라함 모세 BC 고조선 하/은/주 (창 11:7,9) 『[7] 자, 우리가.
에너지 운동량 방법: 일과 에너지법칙 1. 상자들이 초기속도 vo로 컨베이어 벨트로 운반되어 A에서 미끄러져서 B에서 떨어진다. μk= 0.40이고, 상자가 2.4m/s로 B점에서 떨어질 때 컨베이어 벨트의 속도를 구하라.
도덕 1학년 1학기 2. 개성신장과 인격 도야:인물학습 석가모니 인물학습 -석가모니.
제 11장 교락법과 일부실시법.
이산수학 논리∙명제에서 알고리즘까지 √ 원리를 알면 IT가 맛있다 ehanbit.net.
이재상 기본 논리회로와 불의 대수 이재상
7장: 빛의 간섭과 회절 빛의 간섭 단일슬릿과 회절 회절격자 – 더 선명해진 간섭무늬.
우리생활속의 확률 이용사례탐구 한림초등학교영재학급 6학년 김수민.
알기쉬운 시설공사(2) 경상북도교육청 이형주.
평행사변형의 성질 사각형 ABCD 사각형 ABCD → 기호: □ABCD 대변: 마주 보는 변 대각: 마주 보는 각
발표자 : 노수현 조원 : 장종훈,유창열,김범용 전인철,김세원
김포 한강베네치아 상가분양 3층~5층 오피스텔 226세대 1층~2층 상가 분양문의 : 이효철( )
과학 탐구 토론 대회 1학년 2반 박승원 1학년 5반 권민성.
Ⅶ. 원 의 성 질 1. 원 과 직 선 2. 원 주 각 3. 원 과 비 례.
우리는 부모를 닮지만, 왜 똑같지는 않을까? 유전적 다양성 독립 연관과 교차 무작위 수정.
6.1 에너지 이용 현황표 그리기(계속) 셀 서식 지정하기 – 원본 데이터에 테두리 그리기와 셀에 색깔 채우기(5)
도구를 사용할 때의 일(2) 도구를 사용해도 마찬가지야. 지레 지레를 사용할 때의 일.
탐구하는 수학연습문제 수학 8나 대한 114쪽 Ⅲ. 도형의 닮음
쿰란 쿰란 와디 항공촬영 .
3. 정규 언어(Regular Language)
수업활동 안내 탐구 학습 1. 전시학습 2. 학습목표 3. 도입 4. 기초 내용 학습 5. 문제 제기
인천공항 스카이 허브라운지 상세페이지  배송비 부분에서 B2B, B2C 두가지 버전이 필요하며,
바지 원형 제도.
5장 품질비용 품질비용의 중요성 품질비용의 정의 품질비용의 측정 활동기준원가계산 품질비용 계산 품질비용 측정의 문제점 A B
해시와 해시 함수.
도형의 닮음 Ⅵ-1 도형의 닮음 (1) 닮음과 닮은 도형 닮음
Chapter 5. 자료의 연산과 논리회로 e-learning Computers.
약식 진리표  ∧ ∨ → ↔  =.
평 면 도 형 도형의 작도 삼각형의 작도와 결정조건 도형의 합동 작도와 삼각형의 합동 학습내용을 로 선택하세요
판촉왕 공식인증센터_PC
Chapter 5. Context-Free Language Exercises
수학10-나 1학년 2학기 Ⅰ. 도형의 방정식 2. 직선의 방정식 (8/24) 두 직선의 수직 수업계획 수업활동.
수학8가 대한 113~114 쪽 Ⅴ. 부등식 2. 일차부등식 §2.연립부등식(7/10) 연립부등식의 풀이.
제7장 수학과에서의 평가 7.1 평가과정의 본질 7.2 평가과정의 단계
기술가정 2학년 1학기 2.재료의 이용>1) 목재,플라스틱,금속재료의 특성>11/15제품의 구상
8.5 사람의 유전은 어떻게 연구하는가.
진리 나무 Truth-tree  ∧ ∨ → ↔  =.
하노이 탑 두세요 투노이 탑 주세요 두세요 주세요
엔화 대환/대출 자금용도 대상 이자 차액 효과 (A,B,C) 환율 리스크 헷징 (A,B) 엔화의 평균환율 (A,B,C)
엑셀2013의 화면구성 워크시트의 열 이름(A열~XFD열, 총 16,384열) 워크시트의 행 번호(1행~1,048,576행)
2012년 9월 16일 바벨탑 사건과 셈의 후손들의 족보 ▣말씀:창세기 11:1-32 예 수 복 된 교 회.
곱하기 - XT식 인트로 화면 성우 나레이션 : 로고 곱하기 – XT식
논증의 타당성/부당성 검증 Verification/Falsification
베트남.
Presentation transcript:

표준화 이론 표준형 구조나무 표준화 정리  ∧ ∨ → ↔  =

공접절/이접절의 구성 ∧, ∨ 논리구 A B C D E . . .

공접절과 이접절(예) ∧ B A C ∨ B A C ∧(A,B,C) A∧B∧C ∨(A,B,C) A∨B∨C

공접/이접 표준형의 구성 논리절 ∧, ∨ 이접절. 공접절 논리구

공접/이접 표준형의 구조 (예) 공접 표준형 이접 표준형 ∧ ∨ (A∨B∨C)∧(D ∨E )∧(F ∨G) ∨

[예] 공접표준형              (A∨B∨C)∧(D∨E)∧(F∨G)               A∧(B∨C) ( ≡ (A∨A)∧(B∨C) )               A∧B  ( ≡ (A∨A)∧(B∨B) )               (ꍃA∨B)∧(ꍃB∨C)∧(ꍃC∨D) [예] 이접표준형  (A∧B∧C)∨(D∧E)∨(F∧G)               A∨(B∧C) ( ≡ (A∧A)∨(B∧C) )               A∨B  ( ≡(A∧A)∨(B∧B) )               (D∧ꍃE)∨(E∧ꍃF)∨(ꍃA∨F)

표준화 정리 [정리](표준화) ① 모든 논리식은 등가의 공접표준형으로 바꿀수 있다.      ① 모든 논리식은 등가의 공접표준형으로 바꿀수 있다.      ② 모든 논리식은 등가의 이접표준형으로 바꿀수 있다.      ③ 모든 논리식은 등가의 조건절형으로 바꿀수 있다.      ④ 모든 논리식은 등가의 호른-절형으로 바꿀수 있다.

8.1. 표준형으로 바꾸기 논리구 A, B 를 갖는 다음의 간단한 논리식들은 다음과 같이 바꿀 수 있다: A∧B 는 A∧B≡(A∨A)∧(B∨B)≡(A∧B)∨(A∧B) A∨B 는 A∨B≡ (A∨B)∧(A∨B)≡(A∧A)∨(B∧B) 임으로 이 에 따라 공접 표준형 혹은 공접 이접형으로 바꿀 수 있다. A→B ≡ ꍃA∨B 를 이용하여 위의 방법으로 적절히 변형한다. 그 외의 식들은 다음과 같이 하여 바꾼다: (가) 예비적 단계: 다음 형식의 부분 문장들은 우선 다음과 같이 바꾼다.     ① F↔G 는 (F→G)∧(G→F)로     ② F→G 는 ꍃF∨G로     ③ ꍃ(F∧G)는 ꍃF∨ꍃG로     ④ ꍃ(F∨G)는 ꍃF∧ꍃG로 바꾼다. (나) 공접 표준형으로 바꾸기: 분배의 법칙을 이용하여 F∨(G∧H)의 형식을 갖는 부분식들을      모두 (F∨G)∧(F∨H)로 바꿀 수 있을 때까지 바꾼다.  (다) 이접 표준형으로 바꾸기: 분배의 법칙을 이용하여 F∧(G∨H)의 형식을 갖는 부분식들을       모두 (F∧G)∨(F∧H)로 바꿀 수 있을 때까지 바꾼다.

[예] A↔B ≡ (A→B)∧(B→A) ≡ (ꍃA∨B)∧(ꍃB∨A) . . . . . . . . . . . . .(공접표준형)           ≡ ((ꍃA∨B)∧ꍃB)∨(ꍃA∨B)∧A)           ≡ (ꍃA∧ꍃB)∨(B∧ꍃB)∨(ꍃA∧A)∨(B∧A) (이접표준형)           ≡ (ꍃA∧ꍃB)∨(B∧A)           ≡ (A∧B)∨(ꍃA∧ꍃB)       A XOR B ≡ (A∧ꍃB)∨(ꍃA∧B) . . . . . . . . . . . . . (이접표준형)           ≡ ((A∧ꍃB)∨ꍃA)∧((A∧ꍃB)∨B)           ≡ (A∨ꍃA)∧(ꍃB∨ꍃA)∧(A∨B)∧(ꍃB∨B) (공접표준형)           ≡ (ꍃB∨ꍃA)∧(A∨B)           ≡ (A∨B)∧(ꍃA∨ꍃB)