Control Semana 7

Ariel Pizarro

Lógica Matemática y Digital

Instituto IACC

13/09/2018
 Desarrollo

INSTRUCCIONES: lea atentamente la siguiente solicitud, y responda según lo planteado.

Simplifique la expresión matemática presentada, utilizando los teoremas del álgebra de Boole:

̅̅̅̅̅ + 𝒃𝒄 + 𝒄̅𝒃
𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝒄 + 𝒂𝒃𝒄

Respuesta:

𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝒄 + ̅̅̅̅̅
𝒂𝒃𝒄 + 𝒃𝒄 + 𝒄̅𝒃 Ley Distributiva PQ + PR = P (Q + R)

̅̅̅̅̅ + 𝒃 ( 𝒄 + 𝒄̅ )
𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝒄 + 𝒂𝒃𝒄 ̅=𝟏
Regla 6 𝑨 + 𝑨

𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝒄 + ̅̅̅̅̅
𝒂𝒃𝒄 + 𝒃 ( 𝟏 ) Regla 4 A * 1 = 1

𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝒄 + ̅̅̅̅̅
𝒂𝒃𝒄 + 𝒃 Teorema de Morgan ̅̅̅̅̅̅̅
𝑨∗𝑩=𝑨 ̅+𝑩
̅

̅ + 𝒄̅ + 𝒃
̅+𝒃
𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝒄 + 𝒂 ̅=𝟏
Regla 6 complementación 𝑨 + 𝑨

̅+𝒃
̅+𝒃
𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝟏 + 𝒂 ̅=𝟏
Regla 6 complementación 𝑨 + 𝑨

̅+𝟏+𝟏
𝑭(𝒂, 𝒃, 𝒄) = 𝒂𝒃 + 𝒂 Regla 11 aplicando teorema de múltiples

̅ + 𝑨𝑩 = 𝑨
variables 𝑨 ̅+𝑩

̅+𝒃+𝟏+𝟏
𝑭(𝒂, 𝒃, 𝒄) = 𝒂 Regla 2 A + 1 = 1

̅+𝟏+𝟏
𝑭(𝒂, 𝒃, 𝒄) = 𝒂 Regla 2 A + 1 = 1

𝑭(𝒂, 𝒃, 𝒄) = 𝟏 + 𝟏 Regla 5 tautología A + A = A

𝑭(𝒂, 𝒃, 𝒄) = 𝟏
 𝑭(𝒙, 𝒚, 𝒛) = 𝒙𝒚 + 𝒙𝒛 + ̅̅̅̅̅̅̅̅̅̅
𝒚𝒛 + 𝒚𝒛̅

Respuesta:

𝑭(𝒙, 𝒚, 𝒛) = 𝒙𝒚 + 𝒙𝒛 + ̅̅̅̅̅̅̅̅̅̅
𝒚𝒛 + 𝒚𝒛̅ Teorema de Morgan ̅̅̅̅̅̅̅̅
𝑨+𝑩=𝑨 ̅∗𝑩
̅

̅̅̅̅ ∗ ̅𝒚𝒛
𝑭(𝒙, 𝒚, 𝒛) = 𝒙𝒚 + 𝒙𝒛 + 𝒚𝒛 ̅̅̅ Teorema de Morgan ̅̅̅̅̅̅̅
𝑨∗𝑩=𝑨 ̅+𝑩
̅

𝑭(𝒙, 𝒚, 𝒛) = 𝒙𝒚 + 𝒙𝒛 + (𝒚
̅ + 𝒛̅ ) ∗ ( 𝒚
̅ + 𝒛̿ ) ̿=A
Regla 9 doble negación 𝑨

Regla 12 ( A + B ) * ( A + C ) = A + BC

̅ + 𝒛̅ ∗ 𝒛
𝑭(𝒙, 𝒚, 𝒛) = 𝒙𝒚 + 𝒙𝒛 + 𝒚 ̅=𝟎
Regla 8 complementación 𝑨 ∗ 𝑨

̅+𝟎
𝑭(𝒙, 𝒚, 𝒛) = 𝒙𝒚 + 𝒙𝒛 + 𝒚 Regla 1 A + 0 = A

̅
𝑭(𝒙, 𝒚, 𝒛) = 𝒙𝒚 + 𝒙𝒛 + 𝒚 Ley distributiva PQ + PR = P (Q + R)

̅
𝑭(𝒙, 𝒚, 𝒛) = 𝒙 (𝒚 + 𝒛 ) + 𝒚 ̅=𝟏
Ley asociativa – Regla 6 𝑨 + 𝑨

𝑭(𝒙, 𝒚, 𝒛) = 𝒙 (𝟏 + 𝒛 ) Regla 2 A + 1 = 1

𝑭(𝒙, 𝒚, 𝒛) = 𝒙 (𝟏 ) Regla 4 A * 1 = A

𝑭(𝒙, 𝒚, 𝒛) = 𝒙
 Bibliografía

IACC (2018) Lógica Matemática y Digital, Contenidos de la semana 7.-