Notes

❯

❯

Fall 2023 Semester

❯

CS 311 Discrete Math

❯

❯

Basic Equivalences

Basic Equivalences

Jan 13, 20251 min read

Law of Excluded Middle

$p \lor \neg p \equiv T$

PDF of all Equivalences

Graph View

Backlinks

Proof by Contradiction
Proofs Using Basic Equivalences
Equivalence-Style Proofs
Digital Design and Logic Gates

Notes Source