Warning: foreach() argument must be of type array|object, bool given in /var/www/html/web/app/themes/studypress-core-theme/template-parts/header/mobile-offcanvas.php on line 20

Show that (s*)*=swhen is a compound proposition

Short Answer

Expert verified

It is shown that(s*)*=s

Step by step solution

01

Step1:Definition of dual

The dual of a proposition which contains only the logical operators,,¬, is the compound proposition obtained by replacing eachby, eachby, each T by F , and each F by T .The dual of S is denoted bys*

02

Prove (s*)*=s

Let Sbepq

The dual ofS will be ,s*=pq

The dual ofwill be(s*)*=pq

Hence,proved(s*)*=s.

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with Vaia!

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

You can graduate only if you have completed the requirements of your major and you do not owe money to the university and you do not have an overdue library book. Express your answer in terms of g: “You can graduate,” m: “You owe money to the university,” r: “You have completed the requirements of your major,” and b: “You have an overdue library book.”

A says “We are both knaves” and B says nothing. Exercises 24–31 relate to inhabitants of an island on which there are three kinds of people: knights who always tell the truth, knaves who always lie, and spies (called normals by Smullyan [Sm78]) who can either lie or tell the truth. You encounter three people, A, B, and C. You know one of these people is a knight, one is a knave, and one is a spy. Each of the three people knows the type of person each of other two is. For each of these situations, if possible, determine whether there is a unique solution and determine who the knave, knight, and spy are. When there is no unique solution, list all possible solutions or state that there are no solutions.

A says “I am the knight,” B says “I am the knave,” and C says “B is the knight.”

How many rows appear in a truth table for each of these compound propositions?

a)\(p \to \neg p\)

b)(p¬r)(q¬s)

c)qp¬s¬r¬tu

d) \((p \wedge r \wedge t) \leftrightarrow (q \wedge t)\)

You can upgrade your operating system only if you have a 32-bit processor running at 1 GHz or faster, at least 1 GB RAM, and 16 GB free hard disk space, or a 64- bit processor running at 2 GHz or faster, at least 2 GB RAM, and at least 32 GB free hard disk space. Express you answer in terms of u: “You can upgrade your operating system,” b32: “You have a 32-bit processor,” b64: “You have a 64-bit processor,” g1: “Your processor runs at 1 GHz or faster,” g2: “Your processor runs at 2 GHz or faster,” r1: “Your processor has at least 1 GB RAM,” r2: “Your processor has at least 2 GB RAM,” h16: “You have at least 16 GB free hard disk space,” and h32: “You have at least 32 GB free hard disk space.”

Use a truth table to verify the distributive law.p(qr)(pq)(pr)

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.

Sign-up for free