Está en la página 1de 3

ÁLGEBRA DE BOOLE

Operadores +, ∙ 𝑦𝑦 �.
Los operadores ,̅ + y ∙ definen una aplicación (son operaciones cerradas)
𝐴𝐴 + 0 = 𝐴𝐴, ′0′ es el elemento neutro de + 𝐴𝐴 ∙ 1 = 𝐴𝐴, ′1′ es el elemento neutro de ∙

El operador ̅ es unitario. Doble negación: 𝐴𝐴̿ = 𝐴𝐴

Complementariedad 𝐴𝐴 + 𝐴𝐴̅ = 1 𝐴𝐴 ∙ 𝐴𝐴̅ = 0


Conmutativa 𝐴𝐴 + 𝐵𝐵 = 𝐵𝐵 + 𝐴𝐴 𝐴𝐴 ∙ 𝐵𝐵 = 𝐵𝐵 ∙ 𝐴𝐴
Asociativa 𝐴𝐴 + (𝐵𝐵 + 𝐶𝐶 ) = (𝐴𝐴 + 𝐵𝐵) + 𝐶𝐶 𝐴𝐴 ∙ (𝐵𝐵 ∙ 𝐶𝐶 ) = (𝐴𝐴 ∙ 𝐵𝐵) ∙ 𝐶𝐶
Distributiva 𝐴𝐴 + 𝐵𝐵 ∙ 𝐶𝐶 = (𝐴𝐴 + 𝐵𝐵) ∙ (𝐴𝐴 + 𝐶𝐶 ) 𝐴𝐴 ∙ (𝐵𝐵 + 𝐶𝐶 ) = 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐶𝐶
Idempotencia 𝐴𝐴 + 𝐴𝐴 = 𝐴𝐴 𝐴𝐴 ∙ 𝐴𝐴 = 𝐴𝐴
Absorción 𝐴𝐴 + 𝐴𝐴 ∙ 𝐵𝐵 = 𝐴𝐴 𝐴𝐴 ∙ (𝐴𝐴 + 𝐵𝐵) = 𝐴𝐴
Adyacencia 𝐴𝐴 ∙ 𝐵𝐵 + 𝐴𝐴 ∙ 𝐵𝐵� = 𝐴𝐴 (𝐴𝐴 + 𝐵𝐵) ∙ (𝐴𝐴 + 𝐵𝐵� ) = 𝐴𝐴
Morgan ��������
𝐴𝐴 + 𝐵𝐵 = 𝐴𝐴̅ ∙ 𝐵𝐵� ������
𝐴𝐴 ∙ 𝐵𝐵 = 𝐴𝐴̅ + 𝐵𝐵�
Dualidad
Nombre NOT OR AND NOR NAND XOR, EOR NXOR, EQ

Operador ̅ + ∙ ��������
𝑨𝑨 + 𝑩𝑩 ������
𝑨𝑨 ∙ 𝑩𝑩 ⨁ ⨀

𝑨𝑨 𝑩𝑩 �
𝑨𝑨 𝑨𝑨 + 𝑩𝑩 𝑨𝑨 ∙ 𝑩𝑩 � ∙ 𝑩𝑩
𝑨𝑨 � � + 𝑩𝑩
𝑨𝑨 � � ∙ 𝑩𝑩 + 𝑨𝑨 ∙ 𝑩𝑩
𝑨𝑨 � � ∙ 𝑩𝑩
𝑨𝑨 � + 𝑨𝑨 ∙ 𝑩𝑩

0 0 1 0 0 1 1 0 1

0 1 1 1 0 0 1 1 0

1 0 0 1 0 0 1 1 0

1 1 0 1 1 0 0 0 1

Símbolo
ÁLGEBRA DE BOOLE (Cont.)
Morgan generalizada 𝑓𝑓(𝐴𝐴, 𝐵𝐵, … , +,∙) = 𝑓𝑓(𝐴𝐴, 𝐵𝐵, … ,∙, +)
𝑓𝑓 (𝐴𝐴, 𝐵𝐵, 𝐶𝐶, … ) = 𝐴𝐴 ∙ 𝑓𝑓 (1, 𝐵𝐵, 𝐶𝐶, … ) + 𝐴𝐴 ∙ 𝑓𝑓(0, 𝐵𝐵, 𝐶𝐶, … )
Descomposición
= [𝐴𝐴 + 𝑓𝑓 (0, 𝐵𝐵, 𝐶𝐶, … )] ∙ �𝐴𝐴 + 𝑓𝑓(1, 𝐵𝐵, 𝐶𝐶, … )�

FORMAS CANÓNICAS
1ª Forma. 𝑓𝑓(𝐴𝐴, 𝐵𝐵, 𝐶𝐶, … ) = 𝐴𝐴𝐵𝐵𝐵𝐵 … ∙ 𝑓𝑓 (1, 1, 1, … ) + …
Disyuntiva + 𝐴𝐴 𝐵𝐵 𝐶𝐶 … ∙ 𝑓𝑓 (0, 0, 0, … )
2ª Forma. 𝑓𝑓(𝐴𝐴, 𝐵𝐵, 𝐶𝐶, … ) = [𝐴𝐴 + 𝐵𝐵 + 𝐶𝐶 + … + 𝑓𝑓 (0, 0, 0, … )] ∙ …
Conjuntiva … ∙ �𝐴𝐴 + 𝐵𝐵 + 𝐶𝐶 + … + 𝑓𝑓(1, 1, 1, … )�

𝑀𝑀𝑖𝑖 = 𝑚𝑚𝑖𝑖
2𝑛𝑛−1 2𝑛𝑛−1

𝑓𝑓 (𝐴𝐴, 𝐵𝐵, 𝐶𝐶, … ) = � 𝑚𝑚𝑖𝑖 ∙ 𝑓𝑓(𝑖𝑖 ) = � [𝑀𝑀𝑖𝑖 + 𝑓𝑓(𝑖𝑖 )]


𝑖𝑖=0 𝑖𝑖=0

También podría gustarte