Introduction to Logic

Exercise 5.1 - Clausal Form

For each of the following sentences, say which set of clauses is the correct clausal form.

1.pqrs 
  {p, q, r, s} 
  {¬p, ¬q, r, s} 
  {¬p, ¬q, r}, {¬p, ¬q, s} 
  {¬p, r, s}, {¬q, r, s} 
  {¬p}, {¬q}, {r}, {s} 
 
2.pqrs 
  {p, q, r, s} 
  {¬p, ¬q, r, s} 
  {¬p, ¬q, r}, {¬p, ¬q, s} 
  {¬p, r, s}, {¬q, r, s} 
  {¬p}, {¬q}, {r}, {s} 
 
3.¬(pqr) 
  {¬p, ¬q, ¬r} 
  {¬p}, {¬q}, {¬r} 
 
4.¬(pqr) 
  {¬p, ¬q, ¬r} 
  {¬p}, {¬q}, {¬r} 
 
5.pqr 
  {p, q}, {r} 
  {¬p, ¬q}, {r} 
  {¬p, ¬q, r}, {¬r, p}, {¬r, q} 
  {¬p, r}, {¬q, r}, {p, q, ¬r} 
  {p}, {q}, {r}