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

  1. Show that \({\bf{(\bar 1}} \cdot {\bf{\bar 0) + (1}} \cdot {\bf{\bar 0) = 1}}\).
  2. Translate the equation in part (a) into a propositional equivalence by changing each \(0\) into an \({\bf{F}}\), each \(1\) into a \({\bf{T}}\), each Boolean sum into a disjunction, each Boolean product into a conjunction, each complementation into a negation, and the equals sign into a propositional equivalence sign.

Short Answer

Expert verified

a) The given \((\bar 1 \cdot \bar 0) + (1 \cdot \bar 0) = 1\) is proved.

b) The translated equation of the given is \(({\bf{\neg T}} \wedge {\bf{\neg F}}) \vee ({\bf{T}} \wedge {\bf{\neg F}}) \equiv {\bf{T}}\).

Step by step solution

Achieve better grades quicker with Premium

  • Unlimited AI interaction
  • Study offline
  • Say goodbye to ads
  • Export flashcards

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

01

Definition

The complement of an element: \({\bf{\bar 0 = 1}}\) and \({\bf{\bar 1 = }}0\)

The Boolean sum + or\(OR\)is 1 if either term is 1.

The Boolean product \( \cdot \) or \(AND\) is 1 if both terms are 1.

02

(a) Using the Boolean product and sum, definition of complement

By the definition of complement, Boolean product and sum

\(\begin{aligned} (\bar 1 \cdot \bar 0) + (1 \cdot \bar 0) &= (0 \cdot \bar 0) + (1 \cdot \bar 0)\\ & = (0 \cdot 1) + (1 \cdot \bar 0)\\ & = (0 \cdot 1) + (1 \cdot 1)\\ & = 0 + (1 \cdot 1)\\ &= 0 + 1\\ &= 1\end{aligned}\)

Therefore, you get \((\bar 1 \cdot \bar 0) + (1 \cdot \bar 0) = 1\).

03

(b) Using the Boolean product and sum

\((\bar 1 \cdot \bar 0) + (1 \cdot \bar 0) = 1\)

Replace 0 by F

Replace 1 by T

Replace + by \( \vee \)

Replace \( \cdot \) by \( \wedge \)

Replace - by \(\neg \) (placed in front of the expression that used to be underneath)

Replace = by \( \equiv \)

Therefore, you get \(({\bf{\neg T}} \wedge {\bf{\neg F}}) \vee ({\bf{T}} \wedge {\bf{\neg F}}) \equiv {\bf{T}}\).

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

In Exercises 35โ€“42,Use the laws in Definition \(1\) to show that the stated properties hold in every Boolean algebra.

Show that in a Boolean algebra, if \(x \vee y{\bf{ = }}0\), then \(x{\bf{ = }}0\) and \(y{\bf{ = }}0\), and that if \(x \wedge y{\bf{ = }}1\), then \(x{\bf{ = }}1\) and \(y{\bf{ = }}1\).

Construct a half adder using NOR gates.A multiplexer is a switching circuit that produces as output one of a set of input bits based on the value of control bits.

For each of these equalities either prove it is an identity or find a set of values of the variables for which it does not hold.

\(\begin{array}{l}a)x|(y\mid z){\bf{ = }}(x\mid y)|z\\b)x \downarrow (y \downarrow z){\bf{ = }}(x \downarrow y) \downarrow (x \downarrow z)\\c)x \downarrow (y\mid z){\bf{ = }}(x \downarrow y)\mid (x \downarrow z)\end{array}\)

Define the Boolean operator \( \odot \) as follows: \(1 \odot 1{\bf{ = }}1,1 \odot 0{\bf{ = }}0,0 \odot 1{\bf{ = }}0\), and \(0 \odot 0{\bf{ = }}1\).

Construct a circuit that computes the product of the two-bitintegers \({{\bf{(}}{{\bf{x}}_{\bf{1}}}{{\bf{x}}_{\bf{o}}}{\bf{)}}_{\bf{2}}}\)and\({{\bf{(}}{{\bf{y}}_{\bf{1}}}{{\bf{y}}_{\bf{o}}}{\bf{)}}_{\bf{2}}}\).The circuit should have four output bits for the bits in the product. Two gates that are often used in circuits are NAND and NOR gates. When NAND or NOR gates are used to represent circuits, no other types of gates are needed. The notation for these gates is as follows:

How many different Boolean functions \({\bf{F(x,y,z)}}\) are there such that \({\bf{F(\bar x,y,z) = F(x,\bar y,z) = F(x,y,\bar z)}}\) for all values of the Boolean variables \({\bf{x,y}}\), and \({\bf{z}}\)\({\bf{?}}\)

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