Canonical Forms Flashcards

1
Q

A product terms consists of what?

A

It consists of literals with a logical product of two or more literals

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

One is a product term in the canonical form?

A

When there is exactly one occurrence of every function variable in the term

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

What special name does a product term have?

A

Minterm

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

A sum term is in canonical form when what?

A

When there is exactly one occurrence of every function variable in the term

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

A canonical sum term has what special name?

A

Maxterm

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

When is a maxterm the complement of the minterm?

A

In the same row of a truth table! This is proved by DeMorgans Theorem

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

How can you size a truth table by half?

A

when the input variable is treated as a table entered variable instead of as an input

This means the term is reduced to the literals not included in the coefficient

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

The Karnaugh map (K map) allows you to do what?

A

simplify logic functions in a straightforward manner by providing a more useful graphic display of logic function than truth tables.

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

For tens of input variables, what other map does the industry use in the context of CAD tools?

A

Quine-McClusky

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

What is the key idea for a Karnaugh map?

A

Adjacent states

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

how many variables do horizontal and vertical moves change in a Karnaugh Map?

A

1 variable

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

What is an alias for a cluster?

A

subcube

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

what is a cluster?

A

group of terms

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

How is a Don’t Care Condition signified?

A

by a dash, it can be either 0 or 1

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

Recite the algorithm for reading a K map with map entered variables:

A
  1. Set all map entered variables to 0, read all 1s
  2. Restore one map entered variable and read the map while treating all 1s as don’t cares. Set map entered variable back to 0
  3. If there is another map entered variable repeat step two or else quit
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Why are 1s treated as don’t cares in reading K maps with map entered variables?

A

Because a+a’=1

17
Q

What is the method of perfect induction?

A

Proof by perfect indicution is implemented by substituting all combinations of values for the variables in the theorem’s equations.