For each schema below, produce an equivalent schema in conjunctive normal form. 1.(P → (Q ⟺ ~S)) ∨ ~R 2. P ⟺ ~(Q ∨ R)) ∨
Posted: Wed Jul 06, 2022 11:45 am
For each schema below, produce an equivalent schema inconjunctive normal form.
1.(P → (Q ⟺ ~S)) ∨ ~R
2. P ⟺ ~(Q ∨ R)) ∨ ~(P ⋀ Q)
1.(P → (Q ⟺ ~S)) ∨ ~R
2. P ⟺ ~(Q ∨ R)) ∨ ~(P ⋀ Q)