Ley De Adicion

• En lógica booleana, una fórmula está en forma normal conjuntiva (FNC) si corresponde a una conjunción de cláusulas, donde una cláusula es una disyunción de literales, donde un literal y su complemento no pueden aparecer en la misma cláusula. Esta definición es similar a la de formas canónicas usadas en teoría de circuitos.

• Todas las conjunciones de literales y todas las disyunciones de literales están en FNC, pues ellas pueden ser vistas, respectivamente, como conjunciones de cláusulas de un literal, y como conjunciones de una única cláusula. Al igual que en una forma normal disyuntiva (FND), los únicos conectivos lógicos que pueden aparecen en una fórmula en FNC son la conjunción, disyuncióny negación. El operador negación sólo puede aplicarse a un literal, y no a una cláusula completa, lo que significa que este sólo puede preceder a una variable proposicional.

• Regla de adiccion

• Esta regla expresa la probabilidad de que ocurran dos o más sucesos a la vez, P ( A U B).

• Puede presentarse de dos formas: para conjuntos con intersección y para conjuntos mutuamente excluyentes. Veamos:

•

...