Formula

$$p \land ( q \lor r) \iff (p \land q) \lor (p \land r)$$

Tags

Edit this formula