Hello everyone, great this forum exists, I was just getting so hopeless...
Well I am badly stuck with the following problem, both problems are from Rosen section 1.2, I can't continue any further and am only still in section 1.2.
Please help(Later I'll also post my steps towards solution, I would like to know what went wrong.)
1) Prove that following statement is a tautology
(A -> B) /\ (B -> C) -> (A -> C)
Prove without using Truth Tables.
2) A \/ (A /\ B) = A
Please help, I am badly stuck, specially had given a lot of time to the first one.