Formula

$$\lnot (p \implies r) \iff p \land \lnot q$$

Tags

Edit this formula