**Formula**into a

**disjunctive normal form (DNF)**using the

**Rewrite rules**(inserted below):

**Formula:**

**Rewrite rules to obtain a disjunctive normal form (DNF):**

2. F ↔ G → (F → G) ∧ (G → F)

3. ¬(F ∨ G) → ¬F ∧ ¬G

4. ¬(F ∧ G) → ¬F ∨ ¬G

5. ¬¬F → F

6. F∧(G ∨ H) → (F ∧ G) ∨ (F ∧ H) % DNF

7. (F ∨ G) ∧ H → (F ∧ H) ∨ (G ∧ H) % DNF

I am having problems applying the rewrite rules to the given formula. In the rules, I can't see a rewrite rule equivalent to the first part of the given formula, "P or not R" 1. (P ∨¬R) → ¬(¬Q ∨ R).

Can someone point me to where I am going wrong? It's clear I'm having problems starting the rewrite, but if I can do that I'm confident that the rest will be a lot easier.

This post has been edited by **TechSyndrome**: 08 July 2012 - 04:33 PM