# tautology

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

© BrainMass Inc. brainmass.com October 9, 2019, 3:22 pm ad1c9bdddfhttps://brainmass.com/computer-science/c/prove-tautology-truth-tables-2587

#### Solution Preview

In order to show that this is a tautology, or a compound proposition that is always true no matter what the truth values of the propositions that occur in it, we can set up a truth table and ...

#### Solution Summary

Validation of tautology is shown. The expert proves tautology using truth tables.

$2.19