Section Eight: Boolean algebra Flashcards

You may prefer our related Brainscape-certified flashcards:
1
Q

Chapter 40 – Logic gates and truth tables
Binary logic

A

At the most elementary level, an electronic device can only recognise the presence or absence of current or voltage. Either electricity is present or it isn’t. This is a switch – on or off, true or false, 1 or 0. With a computer’s semiconductor, the voltage at the input and output terminals is measured and is either high or low; 1 or 0. Computers comprise billions of these switches and manipulating these sequences of ONs and OFFs can change individual bits. Electronic logic gates can take one or more inputs and produce a single output. This output can become the input to another gate and a complicated cascaded sequence of logic gates can be implemented to form a circuit in, for example, the CPU.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Chapter 40 – Logic gates and truth tables
Simple logic gates and truth tables

A

There are a number of different logic gates that are each designed to perform a different operation in terms of output. We will look at NOT, AND, OR and XOR gates.

Each of these gates may be represented by a truth table showing the output for each possible input or combination of inputs. The four gates are shown below. Inputs are usually given algebraic letters such as A, B and C and output is usually represented by P or Q.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Chapter 40 – Logic gates and truth tables
NOT gate (negation)

A

The NOT gate inverts the input. The small circle denotes an inverted input.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Chapter 40 – Logic gates and truth tables
AND gate (conjunction)

A

The AND gate needs both inputs to be 1 to get a 1 else you would get a 0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Chapter 40 – Logic gates and truth tables
OR gate (disjunction)

A

The OR gate only needs one 1 in order to get a 1 and you can only get a 0 if there are two 0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Chapter 40 – Logic gates and truth tables
XOR gate (exclusive disjunction)

A

The XOR (pronounced ex-or) gate stands for exclusive OR, meaning that the output will be true if one or other input is true, but not both. Compare this to the OR gate, which will accept two true inputs as true also.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Chapter 41 – Simplifying Boolean expressions
de Morgan’s laws

A

Augustus de Morgan (1806-1871) was a Cambridge Mathematics professor who formulated two theorems or laws relating to logic. These laws can be used to manipulate and simplify Boolean expressions. Although his theoretical work had little practical application in his lifetime, it became of major significance in the next century in the field of digital electronics, in which TRUE and FALSE can be replaced by ON and OFF or the binary numbers 0 and 1.

Using de Morgan’s laws, any Boolean function can be converted to one which uses only NAND functions or only NOR functions, and these can be further converted to an expression using all NAND functions or all NOR functions.

Thus, any integrated circuit can be built from just one type of logic gate. This is an advantage in manufacturing where costs can be kept down by using only one type of gate.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Chapter 41 – Simplifying Boolean expressions
General rules

A
  1. X ^ 0 = 0
  2. X ^ 1 = X
  3. X ^ X = X
  4. X ^ ¬X = 0
  5. X ^ 0 = X
  6. X ^ 1 = 1
  7. X ^ X = X
  8. X ^ ¬X = 1
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Chapter 41 – Simplifying Boolean expressions
Commutative rule

A
  1. X ^ Y = Y ^ X
  2. X ^ Y = Y ^ X
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Chapter 41 – Simplifying Boolean expressions
Associative rules

A
  1. X ^ (Y ^ Z) = (X ^ Y) ^ Z
  2. X ^ (Y ^ Z) = (X ^ Y) ^ Z
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Chapter 41 – Simplifying Boolean expressions
Distributive rules

A
  1. X ^ (Y ^ Z) = (X ^ Y) ^ (X ^ Z)
  2. (X ^ Y) ^ (W ^ Z) = (X ^ W) ^ (X ^ Z) ^ (Y ^ W) ^ (Y ^ Z)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Chapter 41 – Simplifying Boolean expressions
Absorption rules

A
  1. X ^ (X ^ Y) = X
  2. X ^ (X ^ Y) = X
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Chapter 41 – Simplifying Boolean expressions
Double negation

A
  1. X = ¬ ¬X
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Chapter 42 – Karnaugh maps

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly