이산 수학 은 기본 등가물 식 으로 (P ← → Q) = (P * 44444440) 브 (┐) (* 94888; P * 444488;) [기본 등가 식 으로 증명]

이산 수학 은 기본 등가물 식 으로 (P ← → Q) = (P * 44444440) 브 (┐) (* 94888; P * 444488;) [기본 등가 식 으로 증명]


┐ (P ← → Q)
= (P → Q) 브 (Q → P)
= ┐ (┐ P 에서 8744; 꽘) 브 (