Boolean Algebra Flashcards by Aiden Dawes | Brainscape

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

Q

What is the double negation axiom

A

Q

What is the definition of DNF (sum of products)

A

Q

What is the definition for CNF (product of sums)

A

Q

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

A

Q

What is the definition and truth table for NAND

A

Q

What is the definiton and truth table for NOR

A

Q

How is NAND (or NOR) functionally complete

A