¿Qué es un booleano teorema ?

Se utiliza para simplificar las declaraciones hechas en expresiones booleanas , teoremas booleanos utilizan letras alfabéticas como x , y, z para representar declaraciones de verdad o falsedad . Estos teoremas son entonces usados ​​para dirigir las posibles relaciones que estos valores pueden tener, asumiendo cada uno sólo representa el valor 1 (verdadero ) o 0 (falso ) . Teoremas sola variable

teoremas de una sola variable utilizan sólo la letra del alfabeto x , que puede representar ya sea 1 ó 0 , y se utiliza cuando el valor exacto no se conoce. Teoremas de una variable básicas incluyen x multiplicado por 0 es igual a 0 y X multiplicado por 1 es igual a x . Estos teoremas son los mismos que en matemáticas normales. Otros teoremas obtienen más específica . sin embargo. Por ejemplo, x multiplicado por x , siempre será igual a 0 ó 1 , porque sólo puede x igual 0 o 1 en sí . Además , x más 1 o más x x , incluso cuando ambos equis es igual a 1 , es igual a 1 Esto desafía las matemáticas regulares y es un punto de partida para la lógica única de álgebra de Boole .
Multivariable Teoremas

teoremas multivariable utilizan varias letras del alfabeto como x, y y z para representar 0 y 1 , por lo que hay más combinaciones posibles de estos problemas binarios. Teoremas multivariables simples son las mismas que las reglas matemáticas básicas, tales como el teorema de que las variables se pueden multiplicar en cualquier orden para producir el mismo número : xyz = YZX = zyx y así sucesivamente . En teoremas más avanzadas , sin embargo , entrar en la lógica especial del álgebra de Boole , ya que cada variable puede sólo igual a 0 ó 1 Por ejemplo , x más xy es igual a x . Multivariables más complejos utilizan más variables tales como 13b teorema , que dice ( w + x ) (y + z ) = wy + wz + xy + xz .
Álgebra de Boole

a diferencia de la álgebra regular de los números , el álgebra de Boole es el álgebra de valores binarios , 0 y 1 , que representan el verdadero y lo falso o sí y no. Álgebra de Boole se define a menudo como un sistema lógico en lugar de un sistema matemático , ya que utiliza el razonamiento deductivo para probar si una declaración o fórmula es verdadera o no. El sistema de álgebra de Boole utiliza los términos " y ", " o" y " no " en el sentido de multiplicar, sumar y dividir , aunque las normas no son las mismas que en la matemática estándar debido a que el producto o la suma de todas las ecuaciones sólo puede igualar 1 o 0
Usando Boole teoremas

teoremas booleanos y el álgebra de Boole fueron inventados en el siglo 19 como un sistema lógico y más tarde se aplicaron a la lógica de distribuidores . Hoy en día , el álgebra de Boole y teoremas booleanos se utilizan en las funciones del motor de búsqueda , en los que los términos de búsqueda están relacionados por y , o , y no los valores . Álgebra de Boole también ha llevado al desarrollo del cálculo proposicional , que analiza la estructura lógica del lenguaje natural.