For the following logical argument, either provide a formal proof (using inference rules or logical equivalence laws) showing the argument is valid, or an assignment of truth values that shows the argument is invalid.

1) (n p) m

2. o (q n)

3. ( m q)

4. p (o q)

5. m (n q)

(p q) o

If you stated the argument is invalid, provide an invalidating truth assignment here:

m= , n= , o= , p= , q=