truth table (a implies b) and (b implies c) and (a implies c)