Fizaa A.
asked • 09/18/20Prove if it is tautology
(p→q) ∨ [(p ∨ ¬q ∨ p) ∨ ¬r)] with use propositional laws.
Christopher J. answered • 09/18/20
Berkeley Grad Math Tutor (algebra to calculus)
Create a truth table:
P Q R ¬Q ¬R P→Q (P ∨ ¬Q ∨ P) (P ∨ ¬Q ∨ P) ∨ ¬R (P→Q) ∨ (P ∨ ¬Q ∨ P) ∨ ¬R
T T T F F T T T T
T T F F T T T T T
T F T T F F T T T
T F F T T F T T T
F T T F F T F F T
F T F F T T F T T
F F T T F T T T T
F F F T T T T T T
Please let me know if you have any questions about what I am doing here.
Fizaa A.
Can you show how to do it with propositional laws and not truth table?09/18/20
Get a free answer to a quick problem.
Most questions answered within 4 hours.
Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.
Answers · 10
Answers · 8
Answers · 8
Answers · 6
Answers · 18
Dane S.
5 (54)
Elyana C.
4.9 (157)
Geoff T.
5.0 (151)
Christopher J.
Yes it is a tautology since last column has all true values.09/18/20