Category:Non-Equivalence as Conjunction of Disjunction with Disjunction of Negations
Jump to navigation
Jump to search
This category contains pages concerning Non-Equivalence as Conjunction of Disjunction with Disjunction of Negations:
- $\neg \paren {p \iff q} \dashv \vdash \paren {p \lor q} \land \paren {\neg p \lor \neg q}$
Pages in category "Non-Equivalence as Conjunction of Disjunction with Disjunction of Negations"
The following 3 pages are in this category, out of 3 total.