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. solutionlibary.com 9836dcf9d7 https://solutionlibrary.com/computer-science/software-development/prove-a-tautology-using-truth-tables-2gr

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 ...