‹ Back to the paper
Choose the correct option.
The proposition ~(a ∧ b) ∨ (~ a => b) is a:
The proposition $\sim(a \wedge b) \vee (\sim a => b)$ is a:
- (a)Contradiction
- (b)Contingency
- (c)Tautology
- (d)Implication
Answer
Answer
Correct option: (c)
Answer: (c) Tautology
~a => b is a + b, so the expression is $(a' + b') + a + b$, which is always 1.