teoremas de variável simples usar apenas a letra x alfabética, o que pode representar 1 ou 0 , e é usado quando o valor exato não é conhecido. Teoremas de uma variável básicas incluem x multiplicado por 0 é igual a 0 e X multiplicado por 1 é igual a x . Estes teoremas são os mesmos como na matemática normais . Outros teoremas ser mais específico . no entanto . Por exemplo, x multiplicado por x , será sempre igual ou 0 ou 1, pois x pode apenas igual a 0 ou 1 em si . Além disso, x mais 1 ou x mais x , mesmo quando ambos os x é igual a 1 , é igual a 1 Isto desafia a matemática regulares e é um ponto de partida para a lógica única de álgebra booleana .
Multivariable Teoremas
teoremas multivariáveis usar várias letras do alfabeto como x , y e z para representar 0 e 1 , por isso há mais combinações possíveis desses problemas binários. Simples teoremas multivariáveis são as mesmas que as regras matemáticas básicas, tais como o teorema de que as variáveis podem ser multiplicado em qualquer ordem, para produzir o mesmo número : xyz = yzx = ZYX e assim por diante . Em teoremas mais avançados , no entanto , você entra na lógica especial de álgebra booleana , porque cada variável pode apenas igual a 0 ou 1 , por exemplo, x mais xy é igual a x . Multivariáveis mais complexos utilizam mais variáveis como 13b Teorema , que afirma (w + x) (y + z) = wy + wz + xy + xz .
Álgebra booleana
ao contrário da álgebra regular de números , a álgebra booleana é a álgebra de valores binários , 0 e 1 , que representam o verdadeiro eo falso ou sim e não. Álgebra booleana é muitas vezes definido como um sistema de lógica em oposição a um sistema matemático , porque ele usa o raciocínio dedutivo para provar se uma declaração ou fórmula é verdadeira ou não . O sistema de álgebra booleana utiliza os termos "e ", " ou " e " não " para significar multiplicar, somar e dividir, embora as regras não são as mesmas que em matemática padrão porque o produto ou a soma de todas as equações só pode ser igual a 1 ou 0.
Usando booleana teoremas
teoremas booleanos e álgebra booleana foram inventados no século 19 como um sistema lógico e, posteriormente, foram aplicados à lógica de quadros. Hoje em dia , a álgebra booleana e teoremas booleanos são usados em funções do motor de busca, onde as pesquisas são relacionadas por AND, OR e não valores . Álgebra booleana também levar ao desenvolvimento de cálculo proposicional , que analisa a estrutura lógica da linguagem natural.