애써 배운걸 까먹을까봐 그러기 전에 미리 정리해놓은 이산수학(discrete mathematics) 노트입니다. 미리 알아둘 것 명제 논리 이해 이전에 살펴본 부정(negation) 연산자의 경우 단일한 하나의 명제에 대한 가장 간단한 단항 논리 연산자(monomial logical operator)라고도 할 수 있었습니다.
이번에는 두 개 이상의, 복수개의 명제에 대하여 논리 연산을 할 수 있는 논리곱(conjunction)과 논리합(disjunction)에 대해 살펴봅시다. 두 명제의 논리곱은 A에서 가운데 가로선을 치워버린 것처럼 생긴 "∧" 라는 기호를 써서 나타냅니다.
명제 p와 q에 대하여, p와 q의 논리곱(conjunction)은 p∧q 라고 작성하며, 자연어(영문)으로 "p and q" 라고 주로 읽습니다. p∧q는 명제 p와 q의 진리값(truth value)이 모두 T(True)일때만 T(True)이고 그것이 아니면 모두 F(False)이 됩니다. 따라서 논리곱 ...
![[이산수학] 논리 연산 및 조건문 이해](https://mblogthumb-phinf.pstatic.net/MjAyMzA5MTFfOTcg/MDAxNjk0NDM4MDM0Mjk1.V8sXZKEsBbZAK6l-TfkU4GueiMyU7ZNz5iW6qLRzEcYg.riqq4C8caCoMR0bDs3zYSNuA7hEkPwESZY7v0vwUYbkg.PNG.agerio100/%B8%F0%BD%BA%C6%BC%B8%B6_%B8%BB%C7%B3%BC%B1.png?type=w2)
#
AND
#
배타적논리곱
#
상호조건
#
상호조건문
#
역
#
이
#
이산수학
#
조건문
#
진리표
#
동치
#
대우
#
OR
#
XOR
#
가정
#
개념
#
결론
#
논리곱
#
논리연산
#
논리합
#
필요충분조건
원문 링크 : [이산수학] 논리 연산 및 조건문 이해
![Kisma - We Are [가사/듣기/해석/해설]](https://mblogthumb-phinf.pstatic.net/MjAyMDA4MjlfMTg5/MDAxNTk4NzA1OTY4ODMx.HlwWZwI_XrY3D7Wl1Edxj3K5fO3bAEEufAEPq5PccM0g.IFCFmUCCgZxKHB4zvwNWFCQ8NfLRlwOdixdDwfuSdwkg.JPEG.agerio100/SE-62c2dc44-a231-4aad-b383-f7fe2908fe7c.jpg?type=w2)
