Logical Equivalencies Flashcards by William Stricklin

Q

Identitiy Laws

A

P ⋀ T ≡ P

P ⋁ F ≡ P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Domination Laws

A

P ⋁ T ≡ T

P ⋀ F ≡ F

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Material Implication

A

(P → Q) ≡ ¬P ⋁ Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Double Negation Laws

A

¬(¬P) ≡ P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Idempotent Laws

A

P ⋁ P ≡ P

P ⋀ P ≡ P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

De Morgan’s Laws

A

¬(P ⋀ Q) ≡ ¬P ⋁ ¬Q

¬(P ⋁ Q) ≡ ¬P ⋀ ¬Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Associative Laws

A

(P ⋁ Q) ⋁ R ≡ P ⋁ (Q ⋁ R)

P ⋀ Q) ⋀ R ≡ P ⋀ (Q ⋀ R

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Negation Laws

A

P ⋁ ¬P ≡ T

P ⋀ ¬P ≡ F

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Commutative Laws

A

P ⋁ Q ≡ Q ⋁ P

P ⋀ Q ≡ Q ⋀ P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Distributive Laws

A

P ⋁ (Q ⋀ R) ≡ (P ⋁ Q) ⋀ (P ⋁ R)

P ⋀ (Q ⋁ R) ≡ (P ⋀ Q) ⋁ (P ⋀ R)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Absorption Laws

A

P ⋁ (P ⋀ Q) ≡ P

P ⋀ (P ⋁ Q) ≡ P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly