Truth Tables

Exercise

Answers

  1. Invalid
  2. Valid
  3. Invalid
  4. Valid

    A B C (A v B) · (A v C)
    ~A   
    B v C
    T T T T     T     T
    F T
    T T F T     T     T
    F T
    T F T T     T     T F T
    T F F T     T     T F F
    F T T T     T     T T T
    F T F T     F     F T T
    F F T F     F     T T T
    F F F F     F     F T F


  5. Invalid

    R T S R · (T v S) 
    T        
    ~S   
    T T T T     T
    T F
    T T F T     T
    T T
    T F T T     T
    F F
    T F F F     F
    F T
    F T T F     T 
    T F
    F T F F     T 
    T T
    F F T F     T F F
    F F F F     F F T


  6. Invalid
  7. Valid
  8. Valid

    A B ~(A v B)
    ~A v ~B        
    T T F   T
    F     F     F
    T F F   T
    F     T    T
    F T F   T  
    T     T    F
    F F T   F
    T    T    T


  9. Valid

    D R S (R v S)  · ~ D
    ~ R        
    S  · ~ D 
    T T T T     F     F
    F F
    T T F T     F     F
    F F
    T F T T     F     F
    T F
    T F F F     F     F
    T F
    F T T T     T     T
    F T
    F T F T     T     T
    F F
    F F T T     T     T T T
    F F F F     F     T
    F F