Boolean Algebra Laws

Description

Mind Map on Boolean Algebra Laws, created by gargantua on 06/04/2015.
gargantua
Mind Map by gargantua, updated more than 1 year ago
gargantua
Created by gargantua over 9 years ago
403
1

Resource summary

Boolean Algebra Laws
  1. 3 Operations on Sets (Set Theory)
    1. Intersection ∩
      1. Negation Law: A ∩ ~A = Empty Set
        1. This means: All elements that are both in the set and not in the set (nothing is both in the basket and outside the basket)
        2. Unit Law: Universal ∩ A = A
          1. This means: What are the elements in both A and the Universe? Being that A is a finite set, it confines the result to the elements only in A...
            1. IE: How to get the same element by ∩ with something (Unit) ?
          2. Elements in both sets
            1. Idempotent Law: A ∩ A = A
              1. Remember: Idempotent means Unchanged in value following operation on itself.
                1. We can safely intersect anything with itself and the set will remain the same
              2. Associative Law: (A ∩ B) ∩ C = A ∩ (B ∩ C)
                1. Commutative Law: A ∩ B = B ∩ A
                  1. Distributive Law: A ∩ (B v C) = A ∩ B v A ∩ C
                    1. De Morgan's: ~(A ∩ B) = ~A ∪ ~B
                    2. Union ∪
                      1. Negation Law: A ∪ ~A = Universal
                        1. This means: All elements in the set OR not in the set (everything)
                        2. Elements in at least one set (or)
                          1. Unit Law: Empty Set ∪ A = A
                            1. Commutative Law: A ∪ B = B ∪ A
                              1. Remember: Commutative means order of operands does not matter
                                1. We can change order of operands
                                2. Elements in at least one of A or B = Elements in at least B or A
                                3. Associative Law: (A ∪ B) ∪ C = A ∪ (B ∪ C)
                                  1. Remember: Association means the order of operations does not matter
                                    1. We can change order of operation
                                  2. De Morgan's: ~(A ∪ B) = ~A ∩ ~B
                                  3. Complement ~
                                    1. Double Complement Law: ~~A = A
                                    2. Universal Set
                                      1. Truth is universal
                                      2. Empty Set
                                      3. 3 Operations on Prepositions (Boolean Logic)
                                        1. AND ^
                                          1. Negation Law: P ^ ~P = F
                                            1. Unit Law: P ^ T = P
                                              1. Idempotent Law: P ^ P = P
                                                1. Associative Law: (p ^ q) ^ r = p ^ (q ^ r)
                                                  1. Commutative Law: P ^ Q = P ^ Q
                                                    1. Distributive Law: P ^ (Q V R) = P ^ Q v P ^ R
                                                      1. Remember: Distribution means outer operation gets "distributed"/repeated over inner operations
                                                        1. We can "pull" repeated operation over operands
                                                      2. De Morgan's: ~(P ^ Q) = ~P v ~Q
                                                      3. OR v
                                                        1. Negation Law: P V ~P = T
                                                          1. Unit Law: P V F = P
                                                            1. Commutative Law: P v Q = P v Q
                                                              1. Associative Law: (p v q) v r = p v (q v r)
                                                                1. De Morgan's: ~(P v Q) = ~P ^ ~Q
                                                                  1. Remember: De Morgan's Law says: We can distribute negation over the operands if we flip the operation (and becomes or)
                                                                    1. Similarly, we can "pull" negation over operands if we flip the operation
                                                                2. Negation ~
                                                                  1. Double Negation Law: ~~P = P
                                                                  2. TRUE
                                                                    1. FALSE
                                                                      1. Lies are empty
                                                                    Show full summary Hide full summary

                                                                    Similar

                                                                    OCR Chemistry - Atoms, Bonds and Groups (Definitions)
                                                                    GwynsM
                                                                    English Vocabulary
                                                                    Niat Habtemariam
                                                                    GRE Test - Overview
                                                                    SAT Prep Group
                                                                    Chemical Symbols
                                                                    Keera
                                                                    Edexcel Additional Science Biology Topic 2- Life Processes
                                                                    hchen8nrd
                                                                    GCSE PE
                                                                    alexis.hobbs99
                                                                    English Basic Grammar
                                                                    tvazacconcia
                                                                    AQA Business Unit 1
                                                                    lauren_binney
                                                                    Bowlby's Theory of Attachment
                                                                    Jessica Phillips
                                                                    Procedimientos Operacionales
                                                                    Adriana Forero
                                                                    The Lymphatic System
                                                                    james liew