Question: how to calculate implication logic result directly

i use

A -> B

B -> C

would like to find A -> C directly from A -> B and B -> C

but logic table show that AND(A->B, B->C) is not equal to A -> C

and (A->B) -> (B->C) is not equal to A -> C too

which logic operations can do this?

because do not want to use result to verify and because i do not know the result in the beginning

Please Wait...