TeX source:

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