| || || |
Exercise 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 .
| || |