discrete

0.0(0)
studied byStudied by 0 people
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/61

encourage image

There's no tags or description

Looks like no tags are added yet.

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

62 Terms

1
New cards
Identity Laws
p ∧ T ≡ p
p ∨ F ≡ p
2
New cards
Domination Laws
p ∨ T ≡ T
p ∧ F ≡ F
3
New cards
Idempotent Laws
p ∨ p ≡ p
p ∧ p ≡ p
4
New cards
Double Negation Law
¬(¬p) ≡ p
5
New cards
Commutative Law
p v q = q v p
p ^ q = q ^ p
6
New cards
Associative laws
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
7
New cards
distributive laws
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
8
New cards
DeMorgan's Law
¬(p ∧ q) ≡ ¬p ∨ ¬q
¬(p ∨ q) ≡ ¬p ∧ ¬q
9
New cards
Absorption Laws
p ∨ (p ∧ q) ≡ p
p ∧ (p ∨ q) ≡ p
10
New cards
Negation Laws
p ∨ ¬p ≡ T
p ∧ ¬p ≡ F
11
New cards
Identity Laws: For all sets A
(a)A U 0 = A
(b)A inter 0 = 0
12
New cards
Domination Laws: For all sets A
13
New cards
Identity Law of Intersection
A ∩ U = A
14
New cards
Identity Law of Union
A ∪ Ø = A
15
New cards
Domination Law of Union
A ∪ U = U
16
New cards
Domination Law of Intersection
A ∩ Ø = Ø
17
New cards
Idempotent Law of Union
A ∪ A = A
18
New cards
Idempotent Law of Intersection
A ∩ A = A
19
New cards
Complementation Law
¬(¬A) = A
20
New cards
Commutative Law of Union
A ∪ B = B ∪ A
21
New cards
Commutative Law of Intersection
A ∩ B = B ∩ A
22
New cards
Associative Law of Union
A ∪ (B ∪ C) = (A ∪ B) ∪ C
23
New cards
Associative Law of Intersection
A ∩ (B ∩ C) = (A ∩ B) ∩ C
24
New cards
Distribution Law of Union
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
25
New cards
Distribution Law of Intersection
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
26
New cards
De Morgan's Law of Intersection
¬(A ∩ B) = ¬(A) ∪ ¬(B)
27
New cards
De Morgan's Law of Union
¬(A ∪ B) = ¬(A) ∩ ¬(B)
28
New cards
Absorption Law of Union
A ∪ (A ∩ B) = A
29
New cards
Absorption Law of Intersection
A ∩ (A ∪ B) = A
30
New cards
Complement Law of Union
A ∪ ¬(A) = U
31
New cards
Complement Law of Intersection
A ∩ ¬(A) = Ø
32
New cards
Identity Law of Intersection
A ∩ U = A
33
New cards
Identity Law of Union
A ∪ Ø = A
34
New cards
Domination Law of Union
A ∪ U = U
35
New cards
Domination Law of Intersection
A ∩ Ø = Ø
36
New cards
Idempotent Law of Union
A ∪ A = A
37
New cards
Idempotent Law of Intersection
A ∩ A = A
38
New cards
Complementation Law
¬(¬A) = A
39
New cards
Commutative Law of Union
A ∪ B = B ∪ A
40
New cards
Commutative Law of Intersection
A ∩ B = B ∩ A
41
New cards
Associative Law of Union
A ∪ (B ∪ C) = (A ∪ B) ∪ C
42
New cards
Associative Law of Intersection
A ∩ (B ∩ C) = (A ∩ B) ∩ C
43
New cards
Distribution Law of Union
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
44
New cards
Distribution Law of Intersection
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
45
New cards
De Morgan's Law of Intersection
¬(A ∩ B) = ¬(A) ∪ ¬(B)
46
New cards
De Morgan's Law of Union
¬(A ∪ B) = ¬(A) ∩ ¬(B)
47
New cards
Absorption Law of Union
A ∪ (A ∩ B) = A
48
New cards
Absorption Law of Intersection
A ∩ (A ∪ B) = A
49
New cards
Complement Law of Union
A ∪ ¬(A) = U
50
New cards
Complement Law of Intersection
A ∩ ¬(A) = Ø
51
New cards
Identity Laws
p ∧ T ≡ p
p ∨ F ≡ p
52
New cards
Domination Laws
p ∨ T ≡ T
p ∧ F ≡ F
53
New cards
Idempotent Laws
p ∨ p ≡ p
p ∧ p ≡ p
54
New cards
Double Negation Law
¬(¬p) ≡ p
55
New cards
Commutative Law
p v q = q v p
p ^ q = q ^ p
56
New cards
Associative laws
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
57
New cards
distributive laws
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
58
New cards
DeMorgan's Law
¬(p ∧ q) ≡ ¬p ∨ ¬q
¬(p ∨ q) ≡ ¬p ∧ ¬q
59
New cards
Absorption Laws
p ∨ (p ∧ q) ≡ p
p ∧ (p ∨ q) ≡ p
60
New cards
Negation Laws
p ∨ ¬p ≡ T
p ∧ ¬p ≡ F
61
New cards
Identity Laws: For all sets A
(a)A U 0 = A
(b)A inter 0 = 0
62
New cards
Domination Laws: For all sets A