Skip to main content

Computer Organization: Chapter 3 - Boolean Expressions

Computer Organization

Chapter 3 - Boolean Expressions

Chapter 3: Boolean Expressions

In this chapter, we learn how to write a Boolean expression given a truth table and use Boolean algebra to simplify Boolean equations. De Morgan’s Theorem is a particularly powerful tool in digital design, which explains that the complement of the product of all the term is equal to the sum of the complement of each term.

Objectives

By the end of this chapter you should be able to:

  • Explain how to derive a Boolean equation from any truth table.
  • Express a Boolean equation for any truth table by summing each of the minterms for the output.
  • Understand how to use Boolean algebra to simplify equations.
  • Demonstrate De Morgan’s Theorem to simplify a Boolean equation.

3.1 Boolean Equations

A Boolean equation is a functional specification of outputs in terms of inputs, which are expressed as a logical statement that is either TRUE or FALSE. The following figure exemplifies a functional specification with two inputs A and B and the output Y.

Fig. 3‑1. Functional specification with two inputs A and B and the output Y

Let’s assume that the functional specification of the above figure can be expressed as the following truth tables:

Fig. 3‑2. Boolean Equations with Truth Tables

In the first truth table, the output Y is always equal to the input B regardless of the input A. We can simplify the Boolean equation with the truth table, such as Y equals B.

In the second truth table, the output Y produces TRUE if only if both two inputs A and B are TRUE. Either input A or B is FALSE, the output Y is False. Here, the output Y values are equivalent to the AND operation with two inputs A and B. We can simplify the Boolean equation with the truth table, such as Y equals A times B equals A B.

In the last truth table, the output Y is always TRUE regardless of two inputs A and B. We can simplify the Boolean equation with the truth table, such as Y equals 1.

3.2 Boolean Algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0, respectively. You can simplify the Boolean equations using a variety of axioms and theorems. Like the regular algebra, the Boolean algebra has numerical operations, but it is simpler than the regular algebra because valuables have only two values, i.e. 1 or 0. The main operations of Boolean algebra are the AND operation, the OR operation and the negative or NOT operation.

Boolean Axioms and Theorems

Table 3-1 summarizes the Boolean axioms with its duality, where ANDs and ORs, 0’s and 1’s are interchanged.

Table 3‑1. Boolean Axioms with Its Duality

Axiom

Dual

Name

(1)

A equals 0 if A not equal to 1

A equals 1 if A not equal to 0

Binary field

(2)

top enclose 0 equals 1

top enclose 1 equals 0

NOT

(3)

0 times 0 equals 0

1 plus 1 equals 1

AND/OR

(4)

1 times 1 equals 1

0 plus 0 equals 0

AND/OR

(5)

0 times 1 equals 1 times 0 equals 0

1 plus 0 equals 0 plus 1 equals 1

AND/OR

  1. Since the Boolean algebra has the binary field, the value A will be 0 if the value A is not 1. If the value A is not 0, the value A will be 1. (2) The negative or NOT operation can be denoted as a bar over the variable. The negative operation is equivalent to the complement or inverse of the variable.

Axiom

Dual

(3)

0 ANDed with O is equal to 0.

1 Ored with 1 is equal to 1.

(4)

1 ANDed with 1 is equal to 1.

0 Ored with 0 is equal to 0.

(5)

0 ANDed with 1 is equal to 0.

0 Ored with 1 is equal to 1.

The identify theorem exists in the Boolean algebra. A variable A element of left curly bracket 1 comma blank 0 right curly bracket ANDed with 1 is always equal to itself. This operation executes in AND gate, as follows:

  • A = 0 ANDed with 1 equal to Y = 0,
  • A = 1 ANDed with 1 equal to Y = 1.

In a similar manner, A variable A element of left curly bracket 1 comma blank 0 right curly bracket Ored with 0 is always equal to itself. This operation executes in OR gate, as follows:

  • A = 1 Ored with 0 equal to Y = 1,
  • A = 0 Ored with 0 equal to Y = 0.

The Fig. 3-3 visualizes the identify theorem.

Fig. 3‑3. Identify Theorem

The null element theorem exists in the Boolean algebra. A variable A element of left curly bracket 1 comma blank 0 right curly bracket ANDed with 0 is always equal to 0. This operation executes in AND gate, as follows:

  • A = 1 ANDed with 0 equal to Y = 0,
  • A = 0 ANDed with 0 equal to Y = 0.

In a similar manner, A variable A element of left curly bracket 1 comma blank 0 right curly bracket Ored with 1 is always equal to 1. This operation executes in OR gate, as follows:

  • A = 1 Ored with 1 equal to Y = 1,
  • A = 0 Ored with 1 equal to Y = 1.

The Fig. 3-4 visualizes the null element theorem.

Fig. 3‑4. Null Element Theorem

The idempotency theorem exists in the Boolean algebra. A variable A element of left curly bracket 1 comma blank 0 right curly bracket ANDed with itself is always equal to the variable. This operation executes in AND gate, as follows:

  • A = 1 ANDed with itself (1) equal to Y = 1
  • A = 0 ANDed with itself (0) equal to Y = 0

In a similar manner, A variable A element of left curly bracket 1 comma blank 0 right curly bracket Ored with itself is always equal to the variable. This operation executes in OR gate, as follows:

  • A = 1 Ored with itself (1) equal to Y = 1,
  • A = 0 Ored with itself (0) equal to Y = 0.

The Fig. 3-5 visualizes the idempotency theorem.

Fig. 3‑5. Idempotency Theorem

The complement theorem exists in the Boolean algebra. A variable A element of left curly bracket 1 comma blank 0 right curly bracket ANDed with its complement A with bar on top is always equal to 0. This operation executes in AND gate, as follows:

  • A = 1 ANDed with its complement (top enclose A equals 0) is always equal to 0,
  • A = 0 ANDed with its complement (top enclose A equals 1) is always equal to 0.

In a similar manner, A variable A element of left curly bracket 1 comma blank 0 right curly bracket Ored with its complement top enclose A is always equal to 1. This operation executes in OR gate, as follows:

  • A = 1 Ored with its complement (top enclose A equals 0) is always equal to 1,
  • A = 0 Ored with its complement (top enclose A equals 1) is always equal to 1.

The Fig. 3-6 visualizes the complement theorem.

Fig. 3‑6. Complement Theorem

The double complement law exists in the Boolean algebra. The double complement (negation) of a variable A element of left curly bracket 1 comma blank 0 right curly bracket is always equal to the variable. This operation executes with by connecting two NOT gates serially, as follows:

  • A = 0 double complement is always equal to 0,
  • A = 1 double complement is always equal to 1.

The Fig. 3-7 visualizes the double complement law.

Fig. 3‑7. Double Complement Law

The commutative law exists in the Boolean algebra.

  • A times B equals B times A; A ANDed with B is equal to B ANDed with A
  • A plus B equals B plus A; A Ored with B is equal to B Ored with A

The associative law exists in the Boolean algebra. When we execute AND or OR gates with more than 2 inputs, the order doesn’t matter.

  • Error converting from MathML to accessible text.; A ANDed with BC is equal to C ANDed with AB.
  • Error converting from MathML to accessible text.; A Ored with (B+C) is equal to C Ored with (A+B).

The distributive law exists in the Boolean algebra.

  • Error converting from MathML to accessible text.; A ANDed with (B+C) is equal to AB Ored with AC.

The absorption law exists in the Boolean algebra.

  • A plus A B equals A

With the distributive law, the left-hand side of the equation can be expressed as follows:
A plus A B equals A left parenthesis 1 plus B right parenthesis, where the round bracket is further simplified as Error converting from MathML to accessible text. due to the identify theorem. A variable A ANDed with 1 is equal to A Error converting from MathML to accessible text., which is identical to the right-hand side of the above equation.

  • A left parenthesis A plus B right parenthesis equals A

With the distributive law, the left-hand side of the equation can be expressed as follows:
Error converting from MathML to accessible text., where A A is equal to A (A A equals A) due to the idempotency theorem. Now the above equation is expressed as A plus A B equals A. You can also simplify the equation by drawing the truth table, as follows:

A

B

blank A plus B

A left parenthesis A plus B right parenthesis

0

0

0

0

0

1

1

0

1

0

1

1

1

1

1

1

Exercises

Simplifying the following Boolean Equations:

  1. Y equals A B plus blank top enclose A B

Answer:

Error converting from MathML to accessible text.

(2) Error converting from MathML to accessible text.

Answer:

{"mathml":"<math style=\"font-family:stix;font-size:16px;\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mstyle mathsize=\"16px\"><mi>Y</mi><mo>=</mo><mi>A</mi><mfenced><mrow><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mi>B</mi><mi>C</mi></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mfenced><mrow><mi>A</mi><mi>B</mi><mfenced><mrow><mn>1</mn><mo>+</mo><mi>C</mi></mrow></mfenced></mrow></mfenced><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mi>d</mi><mi>i</mi><mi>s</mi><mi>t</mi><mi>r</mi><mi>i</mi><mi>b</mi><mi>u</mi><mi>t</mi><mi>i</mi><mi>v</mi><mi>e</mi><mo>&#xA0;</mo><mi>l</mi><mi>a</mi><mi>w</mi><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mfenced><mrow><mi>A</mi><mi>B</mi><mfenced><mn>1</mn></mfenced></mrow></mfenced><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mi>i</mi><mi>d</mi><mi>e</mi><mi>n</mi><mi>t</mi><mi>i</mi><mi>f</mi><mi>y</mi><mo>&#xA0;</mo><mi>t</mi><mi>h</mi><mi>e</mi><mi>o</mi><mi>r</mi><mi>e</mi><mi>m</mi><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mfenced><mrow><mi>A</mi><mi>B</mi></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mfenced><mrow><mi>A</mi><mi>A</mi></mrow></mfenced><mi>B</mi><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mi>B</mi></mstyle></math>"}

Y equals A open parentheses A B plus A B C close parentheses
equals A open parentheses A B open parentheses 1 plus C close parentheses close parentheses distributive law
equals A open parentheses A B open parentheses 1 close parentheses close parentheses identify theorem
equals A open parentheses A B close parentheses
equals open parentheses A A close parentheses B
equals A B

(3) Error converting from MathML to accessible text.

Answer:

{"mathml":"<math style=\"font-family:stix;font-size:16px;\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mstyle mathsize=\"16px\"><mi>Y</mi><mo>=</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mfenced><mrow><mi>B</mi><mo>+</mo><mi>C</mi></mrow></mfenced><mo>+</mo><mi>B</mi><mfenced><mrow><mi>B</mi><mo>+</mo><mi>C</mi></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mi>C</mi><mo>+</mo><mi>B</mi><mi>B</mi><mo>+</mo><mi>B</mi><mi>C</mi><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mi>d</mi><mi>i</mi><mi>s</mi><mi>t</mi><mi>r</mi><mi>i</mi><mi>b</mi><mi>u</mi><mi>t</mi><mi>i</mi><mi>v</mi><mi>e</mi><mo>&#xA0;</mo><mi>l</mi><mi>a</mi><mi>w</mi><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mi>C</mi><mo>+</mo><mi>B</mi><mo>+</mo><mi>B</mi><mi>C</mi><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mi>i</mi><mi>d</mi><mi>e</mi><mi>m</mi><mi>p</mi><mi>o</mi><mi>t</mi><mi>e</mi><mi>n</mi><mi>c</mi><mi>y</mi><mo>&#xA0;</mo><mi>t</mi><mi>h</mi><mi>e</mi><mi>o</mi><mi>r</mi><mi>e</mi><mi>m</mi><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mi>C</mi><mo>+</mo><mi>B</mi><mo>+</mo><mi>B</mi><mi>C</mi><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mi>B</mi><mo>+</mo><mi>B</mi><mi>C</mi><mo>=</mo><mi>B</mi><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>A</mi><mi>C</mi><mo>+</mo><mi>B</mi><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mi>A</mi><mi>B</mi><mo>+</mo><mi>B</mi><mo>=</mo><mi>B</mi><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mi>B</mi><mo>+</mo><mi>A</mi><mi>C</mi></mstyle></math>"}

Y equals A B plus A open parentheses B plus C close parentheses plus B open parentheses B plus C close parentheses
equals A B plus A B plus A C plus B B plus B C distributive law
equals A B plus A B plus A C plus B plus B C idempotency theorem
equals A B plus A C plus B plus B C B plus B C equals B
equals A B plus A C plus B A B plus B equals B
equals B plus A C

3.3 De Morgan’s Theorems

De Morgan’s Theorems are a pair of transformation rules that are both valid rules of inference. The rules can be expressed as:

  • The complement of the intersection of two sets is the same as the union of their complements; and
  • the complement of the union of two sets is the same as the intersection of their complements,

where the intersection and union operations are expressed as AND and OR gates, respectively in the digital logic systems. In the Boolean algebra, these are written formally as follows:

  • top enclose A times B end enclose equals top enclose A plus top enclose B

  • top enclose A plus B end enclose equals top enclose A times top enclose B

Bubble pushing is a technique to apply De Morgan’s theorem directly to the logic diagram. There are two steps to use the bubble pushing, as follows:

  • Change the logic gate (AND to OR and OR to AND).
  • Add bubbles to the inputs and outputs where there were none, and remove the original bubbles.

For example, the backward bubble pushing is applied to NAND gate, pushing the bubble in the output side back to input side. After changing AND gate to OR gate, add bubbles to two inputs A and B, as shown in the following figures:

Fig. 3‑8. Backward Bubble Pushing

The forward bubble pushing is applied to the logic gate which has the bubbles at all the inputs, by pushing the bubbles at the input side A & B to the output side Y. After changing OR gate to AND gate, add a bubble to the output Y, as shown in the following figures:

Fig. 3‑9. Forward Bubble Pushing

There are rules for the bubble pushing, as listed:

  • Begin at output, then work toward inputs
  • Push bubbles on final output back
  • Draw gates in a form so bubbles cancel

There are four inputs, A, B, C, and D in Fig. 3-10. Two inputs A & B are fed into NOR gate. It’s output and the input C are fed into a NAND gate. The output of NAND gate and the input D are fed into another NAND gate, and those two inputs produce the output Y.

Fig. 3‑10. Bubble Pushing Example

The last NAND gate can be changed with the backward bubble pushing, as shown in Fig. 3-11.

  • Body changes from AND to OR gate.
  • Adds bubbles to inputs. No bubble at the output.

Fig. 3‑11. Bubble Pushing Example – No Output Bubble-1

Two bubbles, i.e. the output bubble of NAND gate and the input bubble produced with backward, are now put in the same line. These two bubbles canceled each other, because the double complement of a variable is always equal to the variable.

NOR gate with two inputs A & B can be changed with De Morgan’s Theorems, as shown in Fig. 3-12:

  • Body changes from OR to AND gate.
  • Adds bubbles to inputs. No bubble at the output.

Fig. 3‑12. Bubble Pushing Example – No Output Bubble-2

From the above figure, we can draw the following Boolean equation: Y equals top enclose A times top enclose B times C plus top enclose D. Note that we will get the Boolean equation Y equals top enclose top enclose top enclose A plus B end enclose times C end enclose times D end enclose without De Morgan’s theorems.

Exercise

  1. There are five inputs, A, B, C, D, and E with four NAND gates, as shown in Fig. 3-13:

Fig. 3‑13. Quiz 1 Figure

  • NAND_1 gate has two inputs A and B. NAND_2 gate has two inputs C and D.
  • The two outputs of NAND gates fed into NAND_3 gate.
  • The out of the NAND_3 gate and input E fed into the NAND_4 gate, produce the output Y.

Simply the logic gates with De Morgan’s theorems and write the corresponding Boolean equation.

  1. There are five inputs, A, B, C, D, and E with three NAND gates and one NOR gate, as shown in Fig. 3-14:

Fig. 3‑14. Quiz 2 Figure

  • NAND_1 gate has two inputs A and B. NAND_2 gate has two inputs C and D.
  • The two outputs of NAND gates fed into NAND_3 gate.
  • The out of the NAND_3 gate and input E fed into the NOR_4 gate, produce the output Y

Simply the logic gates with De Morgan’s theorems and write the corresponding Boolean equation.

  1. There are four inputs, A, B, C, and D with three NAND gates, as shown in Fig. 3-15:

Fig. 3‑15. Quiz 3 Figure

  • One NAND gate has two inputs A and B. Another NAND gate has two inputs C and D.
  • The two outputs of NAND gates fed into the other NAND gate, and produce output Y.

Simply the logic gates with De Morgan’s theorems and write the corresponding Boolean equation.

  1. Simplify the following Boolean expression to a minimum number of literals:

Y equals top enclose A top enclose B plus top enclose A B top enclose C plus top enclose open parentheses A plus top enclose C close parentheses end enclose

Answer)

{"mathml":"<math style=\"font-family:stix;font-size:16px;\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mstyle mathsize=\"16px\"><mi>Y</mi><mo>=</mo><menclose notation=\"top\"><mi>A</mi></menclose><menclose notation=\"top\"><mi>B</mi></menclose><mo>+</mo><menclose notation=\"top\"><mi>A</mi></menclose><mi>B</mi><menclose notation=\"top\"><mi>C</mi></menclose><mo>+</mo><menclose notation=\"top\"><mfenced><mrow><mi>A</mi><mo>+</mo><menclose notation=\"top\"><mi>C</mi></menclose></mrow></mfenced></menclose><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mo>&#xA0;</mo><menclose notation=\"top\"><mi>A</mi></menclose><menclose notation=\"top\"><mi>B</mi></menclose><mo>+</mo><menclose notation=\"top\"><mi>A</mi></menclose><mi>B</mi><menclose notation=\"top\"><mi>C</mi></menclose><mo>+</mo><menclose notation=\"top\"><mi>A</mi></menclose><mi>C</mi><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>&#xA0;</mo><mfenced><mrow><mi>D</mi><mi>e</mi><mo>&#xA0;</mo><mi>M</mi><mi>o</mi><mi>r</mi><mi>g</mi><mi>a</mi><mi>n</mi></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><menclose notation=\"top\"><mi>A</mi></menclose><mfenced><mrow><menclose notation=\"top\"><mi>B</mi></menclose><mo>+</mo><mi>B</mi><menclose notation=\"top\"><mi>C</mi></menclose><mo>+</mo><mi>C</mi></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mo>&#xA0;</mo><menclose notation=\"top\"><mi>A</mi></menclose><mfenced><mrow><menclose notation=\"top\"><mi>B</mi></menclose><mo>+</mo><mi>B</mi><menclose notation=\"top\"><mi>C</mi></menclose><mo>+</mo><mi>C</mi><mfenced><mrow><menclose notation=\"top\"><mi>B</mi></menclose><mo>+</mo><mi>B</mi></mrow></mfenced></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mo>&#xA0;</mo><menclose notation=\"top\"><mi>A</mi></menclose><mfenced><mrow><menclose notation=\"top\"><mi>B</mi></menclose><mo>+</mo><mi>B</mi><menclose notation=\"top\"><mi>C</mi></menclose><mo>+</mo><menclose notation=\"top\"><mi>B</mi></menclose><mi>C</mi><mo>+</mo><mi>B</mi><mi>C</mi></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mo>&#xA0;</mo><menclose notation=\"top\"><mi>A</mi></menclose><mfenced><mrow><menclose notation=\"top\"><mi>B</mi></menclose><mfenced><mrow><mn>1</mn><mo>+</mo><mi>C</mi></mrow></mfenced><mo>+</mo><mi>B</mi><mfenced><mrow><menclose notation=\"top\"><mi>C</mi></menclose><mo>+</mo><mi>C</mi></mrow></mfenced></mrow></mfenced><mspace linebreak=\"newline\"/><mo>&#xA0;</mo><mo>&#xA0;</mo><mo>=</mo><mo>&#xA0;</mo><menclose notation=\"top\"><mi>A</mi></menclose><mfenced><mrow><menclose notation=\"top\"><mi>B</mi></menclose><mo>+</mo><mi>B</mi></mrow></mfenced><mo>=</mo><menclose notation=\"top\"><mi>A</mi></menclose></mstyle></math>"}

Y equals top enclose A top enclose B plus top enclose A B top enclose C plus top enclose open parentheses A plus top enclose C close parentheses end enclose
equals space top enclose A top enclose B plus top enclose A B top enclose C plus top enclose A C open parentheses De Morgan close parentheses
equals top enclose A open parentheses top enclose B plus B top enclose C plus C close parentheses
equals space top enclose A open parentheses top enclose B plus B top enclose C plus C open parentheses top enclose B plus B close parentheses close parentheses
equals space top enclose A open parentheses top enclose B plus B top enclose C plus top enclose B C plus B C close parentheses
equals space top enclose A open parentheses top enclose B open parentheses 1 plus C close parentheses plus B open parentheses top enclose C plus C close parentheses close parentheses
equals space top enclose A open parentheses top enclose B plus B close parentheses equals top enclose A

Next Chapter
Chapter 4 - Boolean Expressions and Combinational Circuits
PreviousNext
Powered by Manifold Scholarship. Learn more at manifoldapp.org