MathB.in
New
Demo
Tutorial
About
\begin{align*} (a \vee b) \to c & \equiv \neg (a \vee b) \vee c \\ & \equiv (\neg a \wedge \neg b) \vee c \\ & \equiv (\neg a \vee c) \wedge (\neg b \vee c) \\ & \equiv (a \to c) \wedge (b \to c)\quad\blacksquare \end{align*}
ERROR: JavaScript must be enabled to render input!
Sun, 23 Jul 2023 11:54 GMT