p ≡ (q ∨ r)

~r ∨ p / p ⊃ q를 진리표를 이용해서 타당성을 분석해야 하는데

p ≡ (q ∨ r) 를 {p ⊃ (q ∨ r)}.{(q ∨ r) ⊃ p}로 표현할 수 있음?

중괄호 써도 되는건가?