1.4.3 - Boolean Algebra Flashcards

1
Q

What are the four boolean operations?

A

Conjunction, disjunction,negation and exclusive disjunction.

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

Conjunction symbols

A

=D-, AND, ^

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

Disjunction symbols

A

=)>-, OR, V

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

Negation symbols

A
  • |>o, NOT, ¬
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Exclusive Disjunction symbols

A

=))>-, XOR, V_

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

What is a truth table?

A

A table showing every possible permutation of inputs to a logic gate, and the corresponding output.

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

Describe the conjunction operation

A

Applied to two literals to produce a single output. Applies multiplication to its binary inputs.
1 if both inputs are 1

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

Describe the disjunction operation.

A

Applied to two literals to produce a single output.
Applies addition to its inputs (unless both are 1, when it is still 1).
1 if any input is 1

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

Describe the negation operation

A

Only applies to one literal, reversing truth value of the input.

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

Describe the exclusive disjunction operation.

A

Similar to disjunction, but differs when both outputs are True: only outputs True if exactly one input is True.

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

De Morgan’s laws algebra

A

¬(A^B) = ¬A V ¬B
¬(AVB) = ¬A A ¬B

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

Distribution law: in conjunction over disjunction

A

A ^ (BVC) = (A^B) V (A^C)

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

Distribution law: in disjunction of conjunction

A

A V (B^C) = (AVB) ^ (AVC)

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

Associative laws algebra.

A

(A^B) ^ C = A ^ (B^C) = A^B^C
Replace all with and, alternatively.

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

What do commutative laws do in boolean arithmetic?

A

They show the order of literals around an operator doesn’t matter.
AVB = BVA
A^B = B^A

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

What does double negation do in boolean arithmetic?

A

Negating a literal twice means you can remove both negations and retain the same truth value. ¬¬A = A

17
Q

What is an adder?

A

A logic circuit which adds together the number of inputs which are true, and outputs numbering in binary.

18
Q

What is a half adder?

A

An adder with two inputs, A and B, and two outputs, Sum and Carry.

19
Q

What is a full adder?

A

Similar to a half adder but allows for an additional input, so a carry in.

20
Q

What is a full adder made up of?

A

Two ands, two xors and an or gate.

21
Q

What can you do with a full adder?

A

Because it has a carry input, the circuits can be chained together to form a “ripple adder”, where the sum and carry are passed in along with a new input.