Otras formas gramaticales de una disyunción serán: p a menos que q p salvo que q p excepto q p o de lo contrario q p o en tal sentido q p y/o q Otras formas gramaticales de la conjunción serán: pyq p no obstante q p además q p sin embargo q p cada vez que q p pero q No solo p también q p del mismo modo q p pero, aunque q p así como q p incluso, inclusive, tal como, al igual que q p así mismo q p ambos a la vez p y q Sin p tampoco puede haber q Tanto p como q Cierto es que p lo mismo que q Es compatible p con q Siempre ambos p con q p simultáneamente q p más, al mismo tiempo q Otras formas gramaticales a la condicional serán: Siempre…… Con tal de que…… Cuando …. Cada vez que … Cada vez… Con que … En el caso de que … A condición de que … Dado que… Como quiera que … En la medida en que … En cuanto … Por consiguiente … Es obvio … Así pues … En consecuencia … Consiguientemente En este caso … Esto trae consigo … Por eso… Según lo cual … Por lo cual … De allí que … Por tanto … FUNCIONES BOOLEANAS Las álgebras booleanas son usadas ampliamente en el diseño de circuitos de distribución y computadoras, sus aplicaciones van en aumento en muchas áreas. En el nivel de lógica digital de una computadora, lo que comúnmente se llama hardware y que está formado por los componentes electrónicos de la máquina. Los dos valores posibles en el sistema booleano son cero y uno, a menudo llamaremos a estos valores respectivamente falso y verdadero. El símbolo * representa la operación lógica AND. Cuando se utilicen nombres de variables de una sola letra se eliminará el símbolo * por lo tanto AB representa la operación lógica AND entre las variables A y B, a esto también le llamaremos el producto entre A y B. El símbolo + representa la operación lógica OR, decimos que A+B es la operación lógica OR entre A y B, también llamada la suma de A y B. El complemento lógico, negación o NOT es un operador unitario, su símbolo ´ para denotar la negación lógica, por ejemplo A´ denota la operación lógica NOT A. Si varios operadores diferentes aparecen en una sola expresión Booleana, el resultado de la expresión Booleana depende de la precedencia de los operadores, la cual es de mayor a menor, es decir paréntesis, operador lógico not, operador lógico and y operador lógico or. Tanto los operadores lógicos and y or son asociativos por la izquierda. Si dos operadores con la misma precedencia están adyacentes, entonces se evalúan de izquierda a derecha. El operador lógico not es no asociativo por la derecha. Sea B un conjunto en el cual se han definido dos operaciones binarias + y * y una operación unitaria ´, sean 0 y 1 dos elementos diferentes de B. Entonces la séxtupla <B, +, * ´, 0, 1> se llama Álgebra de Boole, si cumple con los siguientes axiomas para los elementos a, b, c cualesquiera en el conjunto B. 1) Leyes asociativas (p + q) + r p + (q + r) (p * q) * r p * (q * r) ( p q ) r p (q r) (p q ) r p ( q r) 2) Leyes conmutativas 3) Leyes distributivas p+q=q+p p qqp p*q=q*p pqqp p + (q * r) = (p + q) * (p + r) p (q r ) ( p q ) ( p r) p * (q + r) = (p * q) + (p * r) p(q r)(pq )(pr) Para la suma es el cero 0: 4) Leyes de identidad 5) Leyes del complemento 6) Leyes de idempotencia 7) Leyes de acotamiento pqqp p+0=p p*0=0 Para el producto es el uno 1: p + 1 = 1 p*1=p p + p’ = 1 p p = V pVV pFF pFp pVp p * p’ = 0 ppF ( p) p p+p=p p’ + p’ = p’ ppp p*p=p p’ * p’ = p’ ppp p+1=1 p*0=0 También llamada negación doble, si una variable es negada dos 8) Leyes de involución veces, su valor no varía. (p’ )’= p (p) p -> El complementario de la suma es igual al producto de los complementarios: (p + q)’ = p’ * q’ Generalizando: (p + q + r + s +…)’ = p’ q’ r’ s’… 9) Leyes de Demorgan -> El complementario del producto es igual a la suma de los complementarios : (p q)’ = (p’ + q’) Generalizando: (p q r s…)’ = p’ + q’ + r’ +s’ … (pq) pq (pq) pq p q p q 10) Ley de la condicional: p q q p P q (p q ) ( q p) 11) Ley de la Bicondicional Dualidad El dual de cualquier enunciado es un álgebra de Boole B es el enunciado obtenido al intercambiar las operaciones + y *, e intercambiar los correspondientes elementos identidad 0 y 1 en el enunciado original. Por ejemplo: (1 + a) * (b + 0)=b su dual es: (0 * a) + (b * 1) =b Sea B el conjunto de dos elementos 0,1 con operaciones + y * definidas en las siguientes tablas: * 1 0 + 1 0 1 1 0 1 1 1 0 0 0 0 1 0 Formas Booleanas Literal: Es una variable o proposición las cuales pueden ser complementadas Ejemplo: x, x’, y, y’ Término producto: Grupo de literales que se encuentran relacionadas entre sí por un AND (multiplicación). Ejemplo: ab, c’y, x’y’z’ Término Suma: Grupo de literales que se encuentran relacionadas entre sí por un OR (suma). Ejemplo: a+b+c’, x+y+z Término Normal: Termino producto o termino suma en el que la literal no aparece más de una vez. Ejemplo: F(x,y,z)= x’+ x’ + z, F(x,y,z)= (y + x’+ z’ + y) (x + y)( x + y) Ejemplo: F(x,y,z)= x’y’z’ + yz + x Término Canónico: Termino en el que se encuentra exactamente uno de cada uno de los literales de la función. Ejemplo: F(x, y, z) = x’+ y + z, F(x, y, z) = x y z + x’ y z’ + x y’ z Ejemplo: F(x, y, z) = (x + y + z’) (x’+ y + z’) Si el término canónico es un producto de denomina minitermino. xyz + x’y’z Si el término canónico es una suma se denomina maxitermino. (x+y’+z’) (x’+y+z’) ¿Cómo obtener la forma canónica de la funciones booleanas? 1) Para obtener la forma canónica de función de productos se multiplicara por un término de la forma (x+x’) ya que por leyes del complemento x+x’ = 1, y al multiplicar por 1 no se altera la ecuación, donde falte una literal para que el términos sea canónico. 2) Para obtener la forma canónica de una función en producto de sumas, se sumara el término de la forma x*x’= 0 y al sumar 0, no se altera la ecuación, donde falte una literal para que el termino sea canónico. En la siguiente tabla se muestran los maxiterminos y miniterminos en su valor decimal. Valor Decimal Miniterminos Maxiterminos m (1) M (0) x y z 0 0 0 0 x’y’z’ = 0 x+y+z = 0 1 0 0 1 x’y’z = 1 x+y+z’ = 1 2 0 1 0 x’yz’ = 2 x+y’+z = 2 3 0 1 1 x’yz = 3 x+y’+z’ = 3 4 1 0 0 xy’z’ = 4 x’+y+z = 4 5 1 0 1 xy’z = 5 x’+y+z’ = 5 6 1 1 0 xyz’ = 6 x’+y’+z = 6 7 1 1 1 xyz = 7 x’+y’+z’ = 7 Miniterminos = 1(cuando se multiplica por 1para no se altera la ecuación) Maxiterminos = 0 (cuando se le suma uno de sus términos se le suma 0 para no alterar el resultado) Existen dos formas canónicas de una función: 1. Forma canónica en suma de productos (miniterminos) Para simplificar su escritura, podemos considerar como: 0 a las variables complementadas y como 1 a las variables no complementadas. Ejemplo: El minitermino x’y’z corresponde a una combinación: x’=0, y’=0, z=1, según tabla anterior representa el numero binario 001 cuyo valor decimal es 1. Ejemplo: F(x,y,z) = x’y’z + xy’z’ + xy’z + xyz’ + xyz , se puede expresar como F(x,y,z)= m(1,4, 5, 6, 7) que significa la sumatoria de los miniterminos 1, 4, 5, 6 y 7. 2. Forma canónica de productos de sumas (maxiterminos) Para simplificar a cada maxitermino se le considera como 1 a las variables complementadas y como 0 a las variables no complementadas. Ejemplo: El maxitermino x’+ y + z corresponde a la combinación x=1, y=0, z=0 que corresponde al número binario según tabla anterior es 100 cuyo valor decimal es 4. Ejemplo: F(x, y, z) = (x + y + z) (x + y’ + z) (x + y’ + z’), se puede expresar como F(x, y, z) = M(0, 2, 3) que quiere decir el producto de los maxiterminos 0, 2, 3.