Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.3 - Propositional Equivalences - Exercises - Page 35: 43

Answer

-, , /\, and V form a functionally complete collection of logical operators.

Work Step by Step

Given a compound proposition p, we can construct its truth table write down a proposition q in disjunctive normal form that is logically equivalent to p. Since q involves only -, , /\, and V, this shows that -, , /\, and V form a functionally complete collection of logical operators.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.