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

Study These Flashcards

A

Q

What is the idempotency axiom for OR

Study These Flashcards

A

Q

What is the inverse axiom for OR

Study These Flashcards

A

Q

What is the absorbtion law for AND

Study These Flashcards

A

Q

What is de Morgan’s law for AND

Study These Flashcards

A

Q

What is the absorbtion law for OR

Study These Flashcards

A

Q

What is de Morgan’s law for OR

Study These Flashcards

A

Q

What is the definition of equivilance in terms of implication

Study These Flashcards

A

Q

What is the definition of implication in terms of OR

Study These Flashcards

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