next up previous
Next: Entailment again Up: Week 3: Propositional calculus Previous: Entailment

Truth-tables

Draw truth-tables for the formulae below (you may omit any verbal explanation):

  1. $ \neg$($ \neg$P $ \wedge$ $ \neg$Q)
  2. ((P $ \rightarrow$ Q) $ \vee$ $ \neg$Q)
  3. (P $ \leftrightarrow$ ((Q $ \leftrightarrow$ Q) $ \leftrightarrow$ P))



Sandy Berkovski