Prove a tautology using truth tables.

Show that [(a OR b) AND (a IMPLIES c) AND (b IMPLIES c)] IMPLIES c) is a tautology, using truth tables.

© SolutionLibrary Inc. 9836dcf9d7

Solution Preview

...ok at the individual components.

Initially, it is possible to focus on the smaller components (a OR b), (a IMPLIES c), and (b IMPLIES c). In the completed table, it is much easier to ...