Truth table for (((A→B)∧(B→C))→(A→C))
(((A→B)∧(B→C))→(A→C))
Properties: Tautology
| A | B | C | (((A→B)∧(B→C))→(A→C)) |
|---|---|---|---|
| False | False | False | True |
| True | False | False | True |
| False | True | False | True |
| True | True | False | True |
| False | False | True | True |
| True | False | True | True |
| False | True | True | True |
| True | True | True | True |