path: root / src / teaching / upp-2025 / week03 / tex / biimplication.tex

% https://latexeditor.lagrida.com/
p \leftrightarrow q \equiv & (p \rightarrow q) \wedge (q \rightarrow p) \\
p \rightarrow q \equiv & \neg p \vee q