Logical Equivalences Flashcards

1
Q

Identity Laws

A

p ^ T = p

p v F = p

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

Domination Laws

A

p v T = T

p ^ F = F

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

Idempotent Laws

A

p v p = p

p ^ p = p

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

Double negation law

A

¬(¬p) = p

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

Commutative laws

A

p v q = p v q

p ^ q = q ^ p

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

Associative laws

A

(p v q) v r = p v (q v r)

p ^ q) ^ r = p ^ (q ^ r

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

Distributive laws

A
p v (q ^ r) = (p v q)^(p v r)
p ^ (q v r) = (p ^ q)v(p ^ r)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

De Morgan’s laws

A

¬(p ^ q) = ¬p v ¬q

¬(p v q) = ¬p ^ ¬q

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

Absorption laws

A
p v (p ^ q) = p
p ^ (p v q) = p
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Negation laws

A

p v ¬p = T

p ^ ¬p = F

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