Given formula
Find if it is tautology using truth table method.
| A | B | A ⊃ B | B ∧ (A ⊃ B) | (B ∧ (A ⊃ B)) ⊃ A |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | F | T |
| F | T | T | T | F |
| F | F | T | F | T |
As third rows give a false value, Hence proved that the given formula is not a tautology.
Given formula
Find if it is tautology using truth table method.
| A | B | A ⊃ B | B ∧ (A ⊃ B) | (B ∧ (A ⊃ B)) ⊃ A |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | F | T |
| F | T | T | T | F |
| F | F | T | F | T |
As third rows give a false value, Hence proved that the given formula is not a tautology.