Revision as of 12:45, 27 June 2023 edit TennisFans (talk \| contribs) Extended confirmed users 602 edits →Table of binary truth functions ← Previous edit		Revision as of 12:46, 27 June 2023 edit undo TennisFans (talk \| contribs) Extended confirmed users 602 edits →Table of binary truth functions Next edit →
Line 130: \|{{logicalconnective \|main=Logical NOR \|title=~~non~~Non-disjunction/Joint denial \|notation=''P'' ↓ ''Q''<br />''P'' NOR ''Q'' \|equivalents=''P'' ↚ ¬''Q'' <br /> ¬''P'' ↛ ''Q'' <br /> ¬''P'' &and; ¬''Q''<br />X''pq'' Line 188: \| {{logicalconnective \|main=Exclusive or \|title=~~non~~Non-equivalence/Exclusive disjunction \|notation=''P'' ↮ ''Q'' <br /> ''P'' ≢ ''Q'' <br /> ''P'' ⨁ ''Q''<br />''P'' XOR ''Q'' \|equivalents=''P'' {{eqv}} ¬''Q'' <br /> ¬''P'' {{eqv}} ''Q'' <br /> ¬''P'' ↮ ¬''Q''<br />J''pq''

Truth function: Difference between revisions