For each schema below, produce an equivalent schema indisjunctive normal form.
1.((P ∨ Q) → ~P) ⋀ (Q ⟺ ~R)
2.(Q → ~R) → (P ⋀ (Q ∨ R))
3.(P ∨ ~(Q → R)) → ~(~R ⋀ Q)
For each schema below, produce an equivalent schema in disjunctive normal form. 1.((P ∨ Q) → ~P) ⋀ (Q ⟺ ~R) 2.(Q → ~R) →
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am