Unit 3 Flashcards

(81 cards)

1
Q

blank is a set of rules and operations for working with variables whose values are either 0
or 1
. Boolean algebra was defined by George Boole in the mid-19th century.

A

Boolean algebra

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

The area of computer science concerned with designing computer circuitry is called blank an indication of the vital role that logic plays in this field.

A

digital logic,

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

blank, denoted by *, applies to two elements from {0, 1} and obeys the standard rules for multiplication. The results of the multiplication operation are the same as the logical ∧ (“and”) operation.

A

Boolean multiplication

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

0 * 0 = blank

A

0

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

0 * 1 = blank

A

0

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

1 * 0 = blank

A

0

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

1 * 1 = blank

A

1

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

blank, denoted by +, applies to two elements from {0, 1} and obeys the standard rules for addition, except for 1 + 1.

A

Boolean addition

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

0 + 0 = blank

A

0

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

0 + 1 = blank

A

1

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

1 + 0 = blank

A

1

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

1 + 1 = blank

A

1

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

The blank of an element, denoted with a bar symbol, reverses that element’s value. Complementing a Boolean value is analogous to applying the ¬ (“not”) operation in logic.

A

complement

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

The blank is a logical operation that outputs 1 only when the inputs are different.

A

exclusive or or XOR operation

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

0 ⊕ 0 = blank

A

0

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

1 ⊕ 0 = blank

A

1

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

0 ⊕ 1 = blank

A

1

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

1 ⊕ 1 = blank

A

0

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

Variables that can have a value of 1 or 0 are called blank.

A

Boolean variables

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

blank can be built up by applying Boolean operations to Boolean variables or the constants 1 or 0.

A

Boolean expressions

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

blank takes precedence over Boolean addition.

The blank is applied as soon as the entire expression under the bar is evaluated.

blank can be used to override the precedence rules.

A

Boolean multiplication
complement operation
Parentheses

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

Two Boolean expressions are blank if they have the same value for every possible combination of values assigned to the variables contained in the expressions.

A

equivalent

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

In predicate logic, a special symbol (≡) is used to denote logical equivalence. In Boolean algebra, the blank is used to denote logical equivalence.

A

equal sign (=)

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

x + x = x

A

Idempotent laws

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
x * x = x
Idempotent law
26
To say x OR x—or to say x AND x—is redundant. In both cases, we just have x.
Idempotent laws
27
(x + y) + z = x + (y + z)
Associative laws
28
(xy)z = x(yz)
Associative laws
29
xy = yx
Commutative laws:
30
x + y = y + x
Commutative laws:
31
x + yz =(x + y)(x + z)
Distributive laws:
32
x(y + z) =xy + xz
Distributive laws:
33
x + 0 = x
Identity laws:
34
x * 1 = x
Identity laws:
35
x + 1 = 1
Domination laws:
36
x * 0 = 0
Domination laws:
37
x + (xy) = x
Absorption laws:
38
x(x + y) = x
Absorption laws:
39
The complement of an OR expression is the same as an AND statement of their individual complements. The complement of an AND statement is the same as an OR statement of their individual complements.
De Morgan's laws
40
A double negative makes a positive.
Double complement law
41
Addition or multiplication by the complement will equal either the multiplicative or additive identity value. Also, the complement of 1 is zero, and the complement of 0 is one.
Complement laws
42
A blank maps one or more Boolean input values to the set {0, 1}. Let B = {0, 1}. Then Bk is the set of all k-tuples over the set B. A Boolean function with k input variables maps Bk to B.
Boolean function
43
One way to define a Boolean function is to provide an blank that shows the output value of the function for every possible combination of input values.
input/output table
44
A Boolean function with k input variables will require an input/output table with blank rows.
2k
45
To find an blank for function f expressed by a truth table, first find the rows in which the value of f is 1 and add them together.
equivalent Boolean expression
46
A blank is a Boolean variable or the complement of a Boolean variable (for example, x or x).
literal
47
In a Boolean function whose input variables are v1, v2,...,vk, a blank is a product of literals u1u2...uk such that each uj is either vj or vj.
minterm
48
A Boolean expression that is a sum of products of literals is said to be in blank (abbreviated as DNF).
disjunctive normal form
49
A blank expression has the form: c1 + c2 + .... + cm where each cj for j ∈ {1, …, m} is a product of literals.
disjunctive normal form (DNF)
50
Boolean expression in disjunctive normal form - This expression is a sum of four terms. Each term is a product of literals and has two rules
Complement only applied to a single variable. No addition within a term.
51
A Boolean expression that is a product of sums of literals is said to be in blank (abbreviated as CNF).
conjunctive normal form
52
A blank expression has the form: d1 * d2 * .... * dm where each dj for j ∈ {1, …, m} is a sum of literals.
conjunctive normal form (CNF)
53
Boolean expression in conjunctive normal form - This expression is a product of four factors. Each factor is a sum of literals with what two rules
Complement only applied to single variables. No multiplication within a factor.
54
The two rules for disjunctive normal form DNF (the sum of products of literals) are:
Complements are applied to only single variables: No addition within a term:
55
The rules for conjunctive normal form CNF (the product of sums of literals) are:
Complements are applied to only single variables: No multiplication within a factor: The factors in a CNF expression can be single literals.
56
A set of operations is blank if any Boolean function can be expressed using only operations from the set.
functionally complete
57
The set {addition, multiplication, complement} is blank because any Boolean function can be expressed in disjunctive normal form which only uses addition, multiplication, and complement operations.
functionally complete
58
What is the method to express an arbitrary Boolean function using only multiplication and complement operations:
Start with the input/output table for the function. Find a DNF expression that is equivalent to the function. Repeatedly apply De Morgan's law to eliminate each addition operation.
59
What are the steps to rewrite a Boolean expression into a more efficient form using only addition and complement operations:
Create an input-output table for the function Find a CNF expression that is equivalent to the function Repeatedly apply De Morgan's law to eliminate each multiplication operation
60
The blank (which stands for "not and") is denoted by the symbol ↑. The expression x ↑ y is equivalent to complement (xy).
NAND operation
61
The blank (which stands for "not or") is denoted by the symbol ↓. The expression x ↓ y is equivalent to complement(x + y).
NOR operation
62
0 ↑ 0 = blank
1
63
1 ↓ 0 = blank
0
63
1 ↓ 1 = blank
0
64
0 ↓ 1 = blank
0
65
0 ↓ 0 = blank
1
66
1 ↑ 1 = blank
0
67
1 ↑ 0 = blank
1
68
0 ↑ 1 = blank
1
69
The blank (called SAT for short) takes a Boolean expression as input and asks whether it is possible to set the values of the variables so that the expression evaluates to 1.
Boolean satisfiability problem
70
If there is a way to set the input variables that causes a Boolean expression to blank, then the expression is said to be satisfiable. Otherwise, the expression is unsatisfiable.
evaluate to 1
71
Circuits are built from electrical devices called blank
gates
72
The blank gate computes Boolean multiplication, the blank gate computes Boolean addition, and the blank computes the complement.
AND OR inverter
73
The NAND gate computes the NAND operation blank . The gate outputs 0 if all inputs are 1 and outputs 1 otherwise.
x ↑ y
74
The NOR gate computes the NOR operation . The gate outputs 1 if all inputs are 0 and outputs 0 otherwise.
x ↓ y
75
A two-input XOR gate (for "exclusive OR") outputs blank if the input values differ.
1
76
A two-input XNOR gate (for "exclusive NOR") outputs blank if the input values are the same.
1
77
In a blank the output of the circuit depends only on the present combination of input values and not on the state of a circuit.
combinatorial circuit
78
blank is the simplification of a Boolean expression before converting to a circuit to yield a smaller circuit.
Circuit minimization
79
To make simplification opportunities more obvious, a common algebraic simplification process is to:
Convert to a sum of minterms Apply the complement law:
80
A Boolean expression can sometimes be simplified by applying the blank to replicate a term
idempotent law