Formula

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

Tags

Edit this formula