A B C ((A → (B v C) Ù ~C) → (~B → ~A)
T T T T T T F F T F T F
T T F T T T T T T F T F
T F T T T T F F T T F F
T F F T F F F T T T F F
F T T F T T F F T F T T
F T F F T T T T T F T T
F F T F T T F F T T T T
F F F F T F F T T T T T