uni_notes/DAS/Logic.md

Operators

Operation	Explanation	Notation
and	Both p and q must be true	p and q
or	Either p or q (or both) are true	p or q
not	Negates the statement	not p
Implication	If p then q	=>
Biconditional	p if and only if q	<=>
xor	Either p or q but not both	xor

Implied Operators

Operation	Explanion	Notation
nand	p and q are not both true	not(p and q)
nor	neither of p and q are true	not(p or q)
xnor	p and q are both false or both true