Boolean Algebra Flashcards by Aiden Dawes

Q

What are the 4 characteristics of a proposition

A

can be evaluated to yield a truth value, i.e., false or true,
must be unambiguous,
can include free variables, and
can be represented using a short-hand variable or function, whereby free variables must be
bound to concrete arguments before evaluation.

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are the truth table values for: NOT

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are the truth table values for: AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are the truth table values for: OR

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are the truth table values for: XOR

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are the truth table values for: IMPLICATION

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are the truth table values for: LOGICAL EQUIVILANCE

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is commutativity for OR / AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is associativity for OR / AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is distributivity for OR / AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the identity axiom for AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the null axiom for AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the idempotency axiom for AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the inverse axiom for AND

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the identity axiom for OR

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the null axiom for OR

A

Q

What is the idempotency axiom for OR

A

Q

What is the inverse axiom for OR

A

Q

What is the absorbtion law for AND

A

Q

What is de Morgan’s law for AND

A

Q

What is the absorbtion law for OR

A

Q

What is de Morgan’s law for OR

A

Q

What is the definition of equivilance in terms of implication

A

Q

What is the definition of implication in terms of OR

A

What is the double negation axiom

What is the definition of DNF (sum of products)

What is the definition for CNF (product of sums)

What is the definition for XOR in terms of AND and OR

What is the definition and truth table for NAND

What is the definiton and truth table for NOR

How is NAND (or NOR) functionally complete