The world’s Largest Sharp Brain Virtual Experts Marketplace Just a click Away
Levels Tought:
Elementary,Middle School,High School,College,University,PHD
| Teaching Since: | May 2017 |
| Last Sign in: | 398 Weeks Ago, 2 Days Ago |
| Questions Answered: | 66690 |
| Tutorials Posted: | 66688 |
MCS,PHD
Argosy University/ Phoniex University/
Nov-2005 - Oct-2011
Professor
Phoniex University
Oct-2001 - Nov-2016
Construct a truth table for each of the following compound statements.
Â

Â
In Practice 1.7 we find that each of the compound statements is true in all cases. Such a statement is called a tautology. When a biconditional statement is a tautology, it shows that the two parts of the biconditional are logically equivalent. That is, the two component statements have the same truth tables. We shall encounter many more tautologies in the next few sections. They are very useful in changing a statement from one form into an equivalent statement in a different (one hopes simpler) form. In 1.7(a) we see that the negation of a conjunction is logically equivalent to the disjunction of the negations. Similarly, in 1.7(b) we learn that the negation of a disjunction is the conjunction of the negations. In 1.7(c) we find that the negation of an implication is not another implication, but rather it is the conjunction of the antecedent and the negation of the consequent.
Â
Hel-----------lo -----------Sir-----------/Ma-----------dam-----------Tha-----------nk -----------You----------- fo-----------r u-----------sin-----------g o-----------ur -----------web-----------sit-----------e a-----------nd -----------acq-----------uis-----------iti-----------on -----------of -----------my -----------pos-----------ted----------- so-----------lut-----------ion-----------.Pl-----------eas-----------e p-----------ing----------- me----------- on-----------cha-----------t I----------- am----------- on-----------lin-----------e o-----------r i-----------nbo-----------x m-----------e a----------- me-----------ssa-----------ge -----------I w-----------ill----------- be-----------