논리적 동치2 [이산수학] 조건문을 포함한 논리적 동치 조건문을 포함한 논리적 동치는 논리식 간의 논리적 등가성을 나타내는 것으로, 두 논리식이 동일한 진리값을 가짐을 의미한다. 아래는 꼭 외우면 좋은 공식들이다. 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) 2023. 10. 9. [이산수학] 논리적 동치 1. 논리적 동치란? 논리적 동치란 두 개의 논리식이 논리적으로 동일하다는 의미이다. 우리는 논리적 동치를 활용하여 다양한 논리 규칙들을 증명할 수 있다. 예를 들어 p,q에 대하여 p↔q가 항진명제라면 p와q는 논리적 동치이다. 2. 드모르간 법칙 논리학과 불대수(Boole algebra)에서 사용되는 중요한 법칙 중 하나로, 이 법칙을 통해 논리식을 단순화하거나 변환하는 데 사용할 수 있다. 첫 번째 드모르간 법칙 (De Morgan's First Law) ¬(A ∧ B) = ¬A ∨ ¬B 즉, 두 개의 조건 A와 B가 모두 거짓이 아닌 경우, 그 논리 부정(Not)은 A의 부정 또는 B의 부정과 동일하다. 두 번째 드모르간 법칙 (De Morgan's Second Law): ¬(A ∨ B) = ¬A.. 2023. 10. 9. 이전 1 다음