teoremi singole variabili utilizzano solo la lettera x alfabetica , che può rappresentare sia 1 o 0 , e viene utilizzato quando il valore esatto non è noto . Teoremi di base a variabile singola includono x moltiplicato per 0 è uguale a 0 e X moltiplicato per 1 è uguale a x . Questi teoremi sono le stesse in matematica normali . Altri teoremi ottenere più specifico . tuttavia. Ad esempio , X moltiplicato per x , sarà sempre uguale 0 o 1 , perché x può solo uguale a 0 o 1 se stessa . Inoltre , x + 1 o più x x , anche quando sia x di uguale a 1 , è uguale a 1 Questa sfida matematica regolari ed è un punto di partenza per la logica unica di algebra booleana .
Multivariata Teoremi
teoremi multivariata utilizzano diverse lettere alfabetiche come x , y, z per rappresentare 0 e 1 , quindi ci sono più combinazioni possibili di questi problemi binari . Semplici teoremi multivariabile sono le stesse regole matematiche di base come il teorema che le variabili possono essere moltiplicate in qualsiasi ordine per produrre lo stesso numero : xyz = YZX = zyx e così via . In teoremi più avanzati , tuttavia , si entra nella logica speciale di algebra booleana , perché ogni variabile può solo uguale a 0 o 1 , ad esempio , x + xy è uguale a x . Multivariables più complessi utilizzano altre variabili come Teorema 13b , in cui si afferma ( w + x ) ( y + z ) = wy wz + + xy + xz .
Algebra Booleana
a differenza del normale algebra dei numeri , algebra booleana è l'algebra di valori binari , 0 e 1 , che rappresentano vere e false o sì e no . Algebra booleana viene spesso definito come un sistema di logica al contrario di un sistema matematico , perché utilizza il ragionamento deduttivo per dimostrare se una dichiarazione o una formula è vera o no . Il sistema di algebra booleana utilizza i termini " e ", " o " e " non " per significare moltiplicare , aggiungere e dividere , anche se le regole non sono le stesse in matematica standard, perché il prodotto o somma di tutte le equazioni può solo uguale a 1 o 0.
Utilizzando booleana teoremi
teoremi booleani e algebra di Boole sono stati inventati nel 19 ° secolo come un sistema logico e successivamente sono stati applicati alla logica di quadri . Al giorno d'oggi , algebra booleana e teoremi booleani sono utilizzati in funzioni del motore di ricerca , in cui i termini di ricerca sono collegati da AND, OR e non valori . Algebra booleana ha anche portato allo sviluppo del calcolo proposizionale , che analizza la struttura logica del linguaggio naturale .