Qu’est-ce qu’un booléenne théorème

? Utilisé pour simplifier les déclarations faites dans les expressions booléennes , théorèmes booléennes utilisent des lettres alphabétiques comme x, y et z pour représenter les états de la vérité ou des mensonges . Ces théorèmes sont ensuite utilisés pour régir les relations possibles que ces valeurs peuvent avoir , en supposant que chacun ne représente que la valeur 1 (vrai ) ou 0 (faux ) . Théorèmes variables simples

théorèmes seule variable utilisent seulement la lettre x alphabétique, ce qui peut représenter 1 ou 0 , et est utilisé lorsque la valeur exacte n’est pas connue . Théorèmes seule variable de base comprennent x multiplié par 0 est égal à 0 et X multiplié par 1 est égal à x . Ces théorèmes sont les mêmes que dans les mathématiques normales. Autres théorèmes être plus précis . cependant. Par exemple, x multipliée par x , sera toujours égal à 0 ou 1 , car x peut seulement égal à 0 ou 1 lui-même . En outre , x plus 1 ou x Plus X , même si les deux x de la valeur de 1 , est égal à 1 Cette défie les mathématiques réguliers et est un point de départ pour la logique unique de l’algèbre de Boole .
Multivariée théorèmes
Photos

théorèmes multivariables utilisent plusieurs lettres alphabétiques comme x, y et z pour représenter 0 et 1 , donc il ya plus de combinaisons possibles de ces problèmes binaires . Théorèmes multivariables simples sont les mêmes que les règles mathématiques de base telles que le théorème que les variables peuvent être multipliées dans n’importe quel ordre pour produire le même nombre : xyz = yzx = zyx et ainsi de suite . Dans théorèmes les plus avancés , toutefois, vous entrez dans la logique particulière de l’algèbre booléenne , parce que chaque variable peut seulement égal à 0 ou 1 Par exemple , x plus xy est égal à x . Multivariables plus complexes utilisent plusieurs variables telles que le théorème 13b , qui stipule ( w + x ) ( y + z ) = wy + wz + xy + xz .
Algèbre de Boole

contrairement à l’algèbre régulière de nombres , l’algèbre de Boole est l’algèbre de valeurs binaires , 0 et 1 , qui représentent le vrai du faux ou oui et non . Algèbre de Boole est souvent défini comme un système logique , par opposition à un système mathématique , car il utilise un raisonnement déductif pour prouver si une déclaration ou une formule est vraie ou pas . Le système de l’algèbre de Boole utilise les termes « et », « ou » et «non » pour signifier multiplier , ajouter et diviser , bien que les règles ne sont pas les mêmes que dans les mathématiques classiques parce que le produit ou la somme de toutes les équations ne peut égal à 1 ou 0
Utilisation booléenne théorèmes

théorèmes booléens et algèbre booléennes ont été inventés au 19e siècle comme un système logique et plus tard ont été appliqués à la logique des tableaux . De nos jours, l’algèbre de Boole et théorèmes booléens sont utilisés dans les fonctions du moteur de recherche , où les termes de recherche sont liés par et , ou et non des valeurs . Algèbre de Boole a également conduit à la mise au point de calcul propositionnel , qui analyse la structure logique du langage naturel .