I datavetenskap är booleska typer används ofta för att representera sanningen värden logik , efter algoritmiska insikter av matematikern Alan Turing . Boolesk logik , som sysselsätter tillsammans , disjunktion och negation konnektiv bekanta för programmerare idag , var faktiskt utvecklat många år innan elektroniska datorer nå marknaden . George Boole , namne av boolesk logik , upptäckte ett sätt att uttrycka logiska problem i en symbolisk formel , tog därmed studiet av logik ur filosofin och in i sfären av matematiken . Dessa symboliska formler , som uttrycks med hjälp av booleska konnektiv , skulle visa sig vara mycket användbart för att manipulera binära siffror , eller bitar , som fortfarande byggstenar i alla datorprogram som används idag . Turing är mannen krediteras för att göra detta viktiga språng . Booleska Typer
Booleska typer kan bara ta på ett av två möjliga värden - sant eller falskt , vilket i datavetenskap , uttrycks numeriskt som 1 och 0 . Alla datorer - från Turing tidigaste skrymmande maskiner till de senaste tabletter och smartphones - använd bitar för att göra allt . Faktum är termer som " gigabyte " och " megabyte " är helt enkelt multiplar av "byte ", vilket i sig innebär åtta bitar.
Jämförelseoperatorer
i datorspråk som har inbyggda datatypen Boolean är jämförelseoperatorerna används för att generera booleska uttryck av 1 eller 0 . Dessa operatörer - med liknande betydelse i grundläggande matematik - är: = ( är lika med ), ingen = ( är inte lika med ), < ( är mindre än ) ,> ( är större än) ,> = ( är större än eller lika med) .
med hjälp av dessa jämförelseoperatorer , kan man generera en sant eller falskt svar beroende på insignalen . Till exempel, om numren används i input , genererar en enkel formel av 4 > 5 resultatet av falska , eller 0 uttryckt i binära termer .
Boolean Logic
flesta programmeringsspråk , även de utan inbyggd booleska typer , använda boolesk logik . Detta avser beräkning av sanning -värden ( 1 och 0 ) att processer som liknar traditionell matematik med reella tal . De operationer som används i dessa formler är : kombination ( AND , & , * ) , disjunktion ( OR ,