[이산수학] 조건문을 포함한 논리적 동치

조건문을 포함한 논리적 동치는 논리식 간의 논리적 등가성을 나타내는 것으로, 두 논리식이 동일한 진리값을 가짐을 의미한다. 아래는 꼭 외우면 좋은 공식들이다. 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)...