Preparation for Second Midterm

1. Convert the following knowledge base to conjunctive normal form:

   A AND B
   B => (A OR C)
   

2. Consider the following knowledge base:

   A
   B
   NOT A
   

   Does this knowledge base entail the following sentence:

   B OR C
   

   Justify your answer.

3. Given a propositional-logic vocabulary with only four symbols, A, B, C, D, how many models are there for the following sentences? In other words, for each of those statements, determine how many models that statement is true in. Note that each model is defined by assigning boolean values to all four symbols A, B, C, D.

   (a) (A and B) or (B and C)
   (b) A or B
   (c) A <=> B <=>C

4. Textbook exercise 7.6 (second edition), exercise 7.8 (third edition)

5. Textbook exercise 7.8 (second edition), exercise 7.10 (third edition)

6. For some sentence S involving literals A, B, C, here is the truth table:

   A	B	C	Sentence
   false	false	false	true
   false	false	true	false
   false	true	false	false
   false	true	true	true
   true	false	false	false
   true	false	true	false
   true	true	false	false
   true	true	true	true

   Give a conjunctive normal form for sentence S.