   
 6 Exercises Propositional LogicExercise 1 One can give the truth table for Boolean formulae in a similar way as the Semantic Boolean operators, i.e., for : Give the truth table for the following Boolean formulae:
Exercise 2 Let and . Give the semantics of , i.e., calculate . Exercise 3 Show that for any state and for propositional variables and the following holds .
  

 