728x90
반응형
조건문을 포함한 논리적 동치는 논리식 간의 논리적 등가성을 나타내는 것으로, 두 논리식이 동일한 진리값을 가짐을 의미한다.
아래는 꼭 외우면 좋은 공식들이다.
- p → q = ¬p ∨ q
- p → q = ¬q → ¬p
- p ∨ q = ¬p → q
- p ^ q = ¬(p → ¬q)
- ¬(p → q) = p ^ ¬q
- (p → q) ∧ (q → r) = (p → r) = (¬p ∨ q) ∧ (¬q ∨ r) = (¬p ∨ ¬q) ∨ r
- p → p = 1 = p' ∨ p
- (p → q) ∧ (p → r) = p →(q ^ r)
- (p → q) ∨ (p → r) = p →(q ∨ r)
728x90
반응형
'코딩 > 이산수학' 카테고리의 다른 글
| 이산수학 재귀알고리즘 함수 모음 (3) | 2023.10.22 |
|---|---|
| [이산수학] 강 귀납법 (Strong Induction) (1) | 2023.10.10 |
| [이산수학] 논리적 동치 (0) | 2023.10.09 |
| [이산수학] 다양한 조건문 표현 모음 (if~, then~) (0) | 2023.10.09 |
| [이산수학] 명제와 논리의 기초 (Logic and Proofs) (0) | 2023.10.09 |