동치

수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미한다. 이것은 한 문장이 참이면 다른 한 문장도 참이고, 한 문장이 거짓이면 다른 문장도 거짓이 된다는 것을 뜻한다.

논리적 동치

동치	이름
$p \land T \equiv p$ $p \lor F \equiv p$	항등 법칙
$p \lor T \equiv T$ $p \land F \equiv F$	지배 법칙
$p \lor p \equiv p$ $p \land p \equiv p$	멱등 법칙
$\neg (\neg p) \equiv p$	이중 부정 법칙
$p \lor q \equiv q \lor p$ $p \land q \equiv q \land p$	교환 법칙
$(p \lor q) \lor r \equiv p \lor (q \lor r)$ $(p \land q) \land r \equiv p \land (q \land r)$	결합 법칙
$p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)$ $p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$	분배 법칙
$\neg (p \land q) \equiv \neg p \lor \neg q$ $\neg (p \lor q) \equiv \neg p \land \neg q$	드 모르간의 법칙
$p \lor (p \land q) \equiv p$ $p \land (p \lor q) \equiv p$	흡수 법칙
$p \lor \neg p \equiv T$ $p \land \neg p \equiv F$	부정 법칙