Professional Documents
Culture Documents
Forma Normal Disyuntiva
Forma Normal Disyuntiva
0̅ = 1 𝑦 1̅ = 0
𝐿𝑎 𝑠𝑢𝑚𝑎 𝑏𝑜𝑜𝑙𝑒𝑎𝑛𝑎 𝑜 𝑂𝑅
1 + 1 = 1, 1 + 0 = 1, 0 + 1 = 1 𝑦 0 + 0 = 0
𝐸𝑙 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝐵𝑜𝑜𝑙𝑒𝑎𝑛𝑜 𝑜 𝐴𝑁𝐷
1 ∙ 1 = 1, 1 ∙ 0 = 0, 0 ∙ 1 = 0 𝑦 0 ∙ 0 = 0
𝑆𝑖 𝑛𝑜 ℎ𝑎𝑦 𝑐𝑜𝑛𝑓𝑢𝑠𝑖ó𝑚. 𝑠𝑒 𝑒𝑠𝑐𝑟𝑖𝑏𝑖𝑟á
11 = 1, 10 = 0
𝑆𝑒𝑎 𝑥 ∈ 𝐵, 𝑒𝑠 𝑑𝑒𝑐𝑖𝑟, 𝑥 = 0 𝑜 𝑥 = 1
𝐷𝑒𝑐𝑖𝑚𝑜𝑠 𝑞𝑢𝑒 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒 𝑏𝑜𝑜𝑙𝑒𝑎𝑛𝑎
𝐷𝑒𝑓𝑖𝑛𝑖𝑚𝑜𝑠 𝐵𝑛 = {(𝑥1 , 𝑥2 , … , 𝑥𝑛 ): 𝑥𝑖 ∈ 𝐵 𝑝𝑎𝑟𝑎 1 ≤ 𝑖 ≤ 𝑛}
𝑆𝑒𝑎 𝑓: 𝔹𝑛 → 𝐵
𝑆𝑒 𝑑𝑖𝑐𝑒 𝑞𝑢𝑒 𝑓 𝑒𝑠 𝑢𝑛𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑏𝑜𝑜𝑙𝑒𝑎𝑛𝑎
𝐸𝑗𝑒𝑚𝑝𝑙𝑜:
𝑥 𝑦 𝑓(𝑥, 𝑦)
1 1 0
1 0 1
0 1 0
0 0 0
𝐸𝑗𝑒𝑚𝑝𝑙𝑜:
𝑓(𝑥, 𝑦, 𝑧) = 𝑥𝑦 + 𝑧̅
𝑥 𝑦 𝑧 𝑓(𝑥, 𝑦, 𝑧)
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 1
0 1 1 0
0 1 0 1
0 0 1 0
0 0 0 1
𝑃𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑 𝑁𝑜𝑚𝑏𝑟𝑒
𝑥̅̅ = 𝑥 Propiedad del doble complemento
𝑥∙𝑥 =𝑥 Propiedad de la idempotencia
𝑥+𝑥 =𝑥
𝑥+0=𝑥 Propiedad del elemento neutro
𝑥∙1=𝑥
𝑥+1=1 Propiedad de acotación
𝑥∙0=0
𝑥+𝑦 = 𝑦+𝑥 Propiedad conmutativa
𝑥∙𝑦 =𝑦∙𝑥
𝑥 + (𝑦 + 𝑧) = (𝑥 + 𝑦) + 𝑧 Propiedad asociativa
𝑥(𝑦𝑧) = (𝑥𝑦)𝑧
𝑥 + 𝑦𝑧 = (𝑥 + 𝑦)(𝑥 + 𝑧) Propiedad distributiva
𝑥(𝑦 + 𝑧) = 𝑥𝑦 + 𝑥𝑧
̅̅̅ = 𝑥̅ + 𝑦̅
𝑥𝑦 Propiedades de Morgan
̅̅̅̅̅̅̅̅̅̅
(𝑥 + 𝑦) = 𝑥̅ + 𝑦̅
𝑥 + 𝑥𝑦 = 𝑥 Propiedad de absorción
𝑥(𝑥 + 𝑦) = 𝑥
𝑥 + 𝑥̅ = 1 Propiedad del inverso para el uno
𝑥𝑥̅ = 0 Propiedad del inverso para el cero
𝑥 𝑦 𝑥+𝑦 𝑥(𝑥 + 𝑦)
1 1 1 1
1 0 1 1
0 1 1 0
0 0 0 0
𝑥 𝑦 𝑧 𝐹 𝐺
1 1 1 0 0
1 1 0 0 1
1 0 1 1 0
1 0 0 0 0
0 1 1 0 0
0 1 0 0 1
0 0 1 0 0
0 0 0 0 0
𝑃𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑 𝑑𝑒 𝑙𝑜𝑠 𝑚𝑖𝑛𝑖𝑡é𝑟𝑚𝑖𝑛𝑜𝑠: 𝑈𝑛 𝑚𝑖𝑛𝑖𝑡é𝑟𝑚𝑖𝑛𝑜 𝑣𝑎𝑙𝑒 1 𝑝𝑎𝑟𝑎 𝑢𝑛𝑎 𝑦 𝑠ó𝑙𝑜 𝑢𝑛𝑎 𝑐𝑜𝑚𝑏𝑖𝑛𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒𝑠
𝐸𝑛𝑐𝑢𝑒𝑛𝑡𝑟𝑒 𝑒𝑙 𝑚𝑖𝑡é𝑟𝑚𝑖𝑛𝑜 𝑞𝑢𝑒 𝑣𝑎𝑙𝑒 1 𝑠𝑖 𝑥1 = 𝑥3 = 0 𝑥2 = 𝑥4 = 𝑥5 = 1,
𝑦 𝑣𝑎𝑙𝑒 0 𝑝𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑤𝑢𝑖𝑒𝑟 𝑜𝑡𝑟𝑜 𝑐𝑎𝑠𝑜
𝑥1 2 ̅̅̅𝑥
̅̅̅𝑥 𝑥3 4 𝑥5
𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛 𝑑𝑒𝑙 𝑒𝑗𝑒𝑟𝑐𝑖𝑐𝑖𝑜
Dada una función Booleana, se puede construir una suma booleana de minitérminos que vale 1
cuando está función booleana vale 1 y que vale 0 cuando la función vale 0. A la suma de
minitérminos que representa a la función se le llama desarrollo en suma de productos o forma
normal disyuntiva de la función booleana
𝑥 𝑦 𝑧 𝐹
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 1
0 1 1 1
0 1 0 1
0 0 1 0
0 0 0 0
̅̅̅̅̅̅̅̅̅̅̅̅
𝑔(𝑥, 𝑦, 𝑧) = 𝑥 + 𝑦 + (𝑥 + 𝑦 + 𝑧)
ℎ(𝑥, 𝑦, 𝑧, 𝑤) = 𝑦𝑧 + 𝑤𝑥 + 𝑧 + 𝑤𝑧(𝑥𝑦 + 𝑤𝑧)
𝐿𝑒𝑦 𝑑𝑒 𝑚𝑜𝑟𝑔𝑎𝑛 𝑝𝑎𝑟𝑎 𝑡𝑟𝑒𝑠 𝑡𝑒𝑟𝑚𝑖𝑛𝑜𝑠
(𝑥 + 𝑦 + 𝑧) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ((𝑥 + 𝑦) + 𝑧) = ̅̅̅̅̅̅̅̅̅̅
(𝑥 + 𝑦)𝑧̅ = 𝑥̅ 𝑦̅𝑧̅