Need help on mathematical logic

[joseph1125]

Which of the following propositional forms are tautologies.

(p implies (q implies r)) implies ((p and not q) or r)

(p and not q) or (q and not r) or (r and not p)

I need help in both forms, btw, simplify only, no truth table

Thanks!

 

[joseph1125]

Which of the following propositional forms are tautologies.

(p implies (q implies r)) implies ((p and not q) or r)

(p and not q) or (q and not r) or (r and not p)

I need help in both forms, btw, simplify only, no truth table

Thanks!

I solved the first question, please ignore the first question, thanks a lot

 

[stapel]

Are you not allowed to use truth tables to evaluate the statements?

 

[joseph1125]

Are you not allowed to use truth tables to evaluate the statements?

We can't use truth table, that's all

 

[daon2]

Just considering the simple case of P,Q,R=F, you'd see the statement is immediately F.