logic boolean algebra proofs
0.0(0)
Studied by 1 person
Learn
Practice Test
Spaced Repetition
Match
FlashcardsCard Sorting
1/22
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.
23 Terms
1
New cards
Identity
A1 = A
2
New cards
Identity
A + 0 = A
3
New cards
Null Element
A0 = 0
4
New cards
Null Element
A + 1 = 1
5
New cards
Idempotency
AA = A
6
New cards
Idempotency
A + A = A
7
New cards
Involution or Double Negation
A'' = A
8
New cards
Complements
AA' = 0
9
New cards
Complements
A + A' = 1
10
New cards
Commutativity
AB = BA
11
New cards
Commutativity
A + B = B + A
12
New cards
Associativity
(AB)C = A(BC)
13
New cards
Associativity
(A + B) + C = A + (B + C)
14
New cards
Distributive
(AB) + (AC) = A (B + C)
15
New cards
Distributive
(A + B)(A + C) = A + (BC)
16
New cards
Absorption
A(A + B) = A
17
New cards
Absorption
A + (AB) = A
18
New cards
Combining
(AB) + (AB') = A
19
New cards
Combining
(A + B)(A + B') = A
20
New cards
Consensus
(AB) + (A'C) + (BC) = AB + A'C
21
New cards
Consensus
(A + B)(A' + C)(B + C) = (A + B) (A' + C)
22
New cards
De Morgan
(AB)' = A' + B'
23
New cards
De Morgan
(A + B)' = A'B'
Note 
Flashcards (44)