以下哪个步骤是 P ⟷ Q ⇔ ( 「 P ∧ 「 Q ) ∨ ( Q ∧ P ) 等价证明的正确步骤 P ⟷ Q 1 、 ⇔( P →Q ) ∧ ( Q →P ) 2 、 ⇔( P →Q ) ∨ ( Q →P ) 3、⇔( 「 P ∨ Q) ∧( 「Q ∨ P ) 4、 ⇔( 「 P ∧ Q) ∨ ( 「Q ∧ P ) 5 、 ⇔[ 「 P ∨ ( 「Q ∨ P ) ] ∧ [ Q ∨ ( 「Q ∨ P )] 6 、 ⇔[ 「 P ∧ ( 「Q ∨ P ) ] ∨ [ Q ∧( 「Q ∨ P )] 7 、 ⇔[ ( 「 P ∧ 「Q) ∨( 「 P ∧ P )] ∨ [ ( Q ∧ 「Q) ∨( Q ∧ P )] 8、 ⇔[ ( 「 P ∧ 「Q) ∧ T ] ∨[ T ∧( Q ∧ P )] 9、 ⇔[ ( 「 P ∧ 「Q) ∨ F ] ∨[ F ∨( Q ∧ P )] 10、⇔ ( 「 P ∧「 Q ) ∨ ( Q ∧ P )