TeX source:

( p ∨ ( q ∧ r ) ) ⊣⊢ ( ( p ∨ q ) ∧ ( p ∨ r ) )