# Conjunctive normal form

• Feb 20th 2013, 07:41 PM
NecroWinter
Conjunctive normal form
P: The violinist will play the concerto
Q: The prices are too high
R: The crowds will come

(Express in conjunctive normal form ) If the violinist plays the concerto. then crowds will come if the prices are not too high. If the violinist plays the concerto, the prices will not be too high. Therefore, the violinist will play the concerto and the crowds will not come.

If the violinist plays the concerto, then crowds will come if prices are not too high
Not CNF: (P => (~Q=> R))& (P=>~ Q)& (P=> ~R)
My attempt at CNF: (P(x) v (~Q(y)v R(z)))& (P(x) v~ Q(y))& (P(x) v ~R(z))

based on the rules I was given, this seems right. I cant distribute over the ands (at least I dont think so) and converting to demorgans laws dont seem to apply here.

Can anyone kindly correct this or give me tips? It would be greatly appreciated!

Sorry if this isnt the correct forum, but I am in Discrete Math and this is where we are learning this concept.