Koristi se pojednostaviti izjave u Boolean izraza , Boolean teoremi koristiti abecednim slova kao što su X, Y i Z da predstavljaju izjave o istini ili laži . Ti teoremi onda se koristiti za određivanje mogućih odnosa koji ove vrijednosti mogu imati , pod pretpostavkom da svaki od njih samo predstavljaju vrijednost 1 ( istina ) ili 0 ( false ) . Jedna varijabla Teoremi

single- promjenjiva teoremi koristiti samo slovo slovo x , što može predstavljati bilo 1 ili 0 , a koristi se kada jetočna vrijednost nije poznata . Osnovni jednokrevetne – promjenjiva teoremi su x pomnožen 0 jednak 0, a X pomnožen 1 x jednak . Ti teoremi suisti kao u normalnim matematike . Ostali teoremi dobili precizniji . Međutim . Na primjer, X se množi s X , uvijek jednak 0 ili 1 , X može samo zato jednak 0 ili 1 i sam . Nadalje , x plus 1 ili x plus x, čak i kada su obje x je jednako 1 , jednaka 1. To prkosi redovite matematike itočka odlaska na jedinstvenom logikom Booleova algebra .

Multivarijabilna teoreme

Multivarijabilni teoremi koristiti nekoliko abecednim slova kao što su x, Y i Z da predstavljaju 0 i 1 , tako da postoji više mogućih kombinacija binarnih problema . Jednostavni Multivarijabilni teoremi suisti kao i osnovnih matematičkih pravila , kao što je teorem da varijable može se multiplicirati u svakom bi se proizvesti isti broj : XYZ = yzx = zyx i tako dalje . U naprednijim teorema , međutim , ulazite u posebnu logiku Booleova algebra , jer svaka varijabla može samo jednaka 0 ili 1. Na primjer , x plus xy jednako x. Složenije multivariables iskoristiti više varijabli , kao što su teorem 13b , u kojem se navodi ( W + x) ( y + z ) = Wy + WZ + xy + XZ .
Booleova algebra

za razliku od regularnom algebra brojeva , Booleova algebra jealgebra binarnih vrijednosti , 0 i 1 , koje predstavljaju pravi i lažni ili da i ne . Booleova algebra često definira kao logički sustav za razliku od matematičkog sustava , jer se koristi deduktivno zaključivanje dokazati je liizjava ili formula je istina ili ne . Booleova algebra sustav koristi izraze ” i “, ” ili” i ” ne ” znači pomnožiti , dodati i podijeliti , iako pravila nisuista kao u standardnim matematike , jerproizvod ili zbroj svih jednadžbi može samo jednaka 1 ili 0.
Korištenje Boolean teoremi

Boolean teoremi i Boolean algebra su izmislili u 19. stoljeću kao logičan sustav , a kasnije su se primijeniti na logici centralama. Danas , logička algebra i Boolean teoremi se koriste u tražilice funkcija , gdje su uvjete za pretraživanje vezane su i , ili , a ne vrijednosti . Booleova algebra je također dovesti do razvoja propozicijskom kamenca , koji analizira logičku strukturu prirodnog jezika .