[이산수학] 논리적 동치

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..

원문링크 : [이산수학] 논리적 동치