? Används för att förenkla uppgifterna i booleska uttryck , booleska teorem använder alfabetiska bokstäver som x , y och z för att representera uttalanden av sanning eller osanningar . Dessa satser används sedan för att styra de eventuella relationer som dessa värden kan ha , om man antar var och en representerar bara värdet 1 ( sant) eller 0 ( falskt ) . Enstaka Variabla Theorems
en variabel satser endast använda den alfabetiska bokstaven x , vilket kan representera antingen 1 eller 0 , och används när det inte är känt exakt värde . Grundläggande en variabel satser inkluderar x multiplicerat med 0 är lika med 0 och X multiplicerat med 1 lika med x . Dessa satser är samma som hos normala matematik. Andra satser får mer specifik . dock. Till exempel , x multiplicerat med x , kommer alltid lika antingen 0 eller 1 , för x kan bara lika 0 eller 1 självt. Dessutom x plus 1 eller x plus x , även om båda x jämlike 1 , motsvarar 1 Detta trotsar regelbundna matematik och är en utgångspunkt för den unika logik boolesk algebra .
Variabel Theorems
Multivariabla teorem använda flera alfabetiska bokstäver som x, y och z för att representera 0 och 1 , så att det finns fler möjliga kombinationer av dessa binära problem . Enkla multivariabla satser är desamma som grundläggande matematiska regler som satsen att variablerna kan multipliceras i något för att producera samma nummer : xyz = YZX = zyx osv . I mer avancerade satser däremot anger du den speciella logik boolesk algebra , eftersom varje variabel kan bara lika 0 eller 1 Exempelvis x plus xy lika x . Mer komplexa multivariables använder fler variabler såsom Sats 13b , där det står ( w + x ) ( y + z ) = wy + WZ + xy + xz . Addera Boolean Algebra
till skillnad från den vanliga algebra av siffror , är Boolesk algebra algebra av binära värden , 0 och 1 , som representerar sant och falskt eller ja och nej . Boolesk algebra definieras ofta som ett logiksystem i motsats till ett matematiskt system , eftersom den använder deduktivt resonemang för att bevisa om ett uttalande eller en formel är sant eller inte . Den boolesk algebra systemet använder termerna ”och ”, ” eller” och ”inte ” att betyda multiplicera , lägga till och dela, även om reglerna inte är desamma som i vanliga matematik eftersom produkten eller summan av alla ekvationer kan bara lika 1 eller 0
Använda Boolean theorems
Boolean satser och Boolean algebra uppfanns i det 19th århundradet som ett logiskt system och senare applicerades på logik växlar . Numera är Boolesk algebra och booleska satser som används i sökmotorfunktioner , där sökord är relaterade med och , eller och inte värden . Boolesk algebra har också leda till utveckling av satsanalys , som analyserar den logiska strukturen av naturligt språk . Addera