I informatikk , er boolske typer ofte brukt for å representere sannheten verdier av logikk , etter algoritmisk innsikt av matematikeren Alan Turing . Boolsk logikk , som sysselsetter de sammen , disjunksjon og negasjon connectives kjent for programmerere i dag , ble faktisk utviklet mange år før elektroniske datamaskiner treffe markedet . George Boole , navnebror av boolsk logikk , oppdaget en måte å uttrykke logiske problemer i en symbolsk formel , og dermed tar studiet av logikk ut av filosofi og inn i riket av matematikk. De symbolske formler , som uttrykkes ved hjelp av boolske connectives , skulle vise seg å være svært nyttig for å manipulere binære siffer , eller biter , som fortsatt er byggesteinene i alle dataprogram som brukes i dag . Turing er mannen kreditert for å gjøre denne viktige spranget . Boolske Typer

boolske typer kan bare ta på en av to mulige verdier - sant eller usant , som i informatikk , er uttrykt numerisk som 1 og 0 . Alle datamaskiner - fra Turings tidligste store maskiner til de nyeste nettbrett og smarttelefoner - bruk bits å gjøre alt. Faktisk begreper som " gigabyte " og " megabyte " er rett og slett multipler av " byte ", som i seg selv betyr 8 bits.
Sammenligning Operators
< p > i programmeringsspråk som har innebygd boolsk datatype , er sammenligning operatører brukes til å generere boolske uttrykk for en eller 0 . Disse aktørene - med tilsvarende meninger i grunnleggende matematikk - er: = ( er lik ), ikke = ( er ikke lik ), < ( mindre enn ), > ( større enn ), > = ( er større enn eller lik ) .

Ved hjelp av disse sammenlignings-operatorer , kan man generere en sann eller usann svar på grunnlag av inngangssignalet . For eksempel, hvis tallene brukes i input , genererer en enkel formel av 4> 5 resultatet av falsk , eller 0 som uttrykt i binære vilkår .
Boolsk Logic

De fleste programmeringsspråk , selv de uten innebygd boolske typer , bruke boolsk logikk. Dette refererer til beregning av sannhetsverdier ( 1 og 0 ) ved hjelp av prosesser som ligner tradisjonell matematikk med reelle tall . Operasjonene som brukes i disse formlene er : sammen ( AND, & , * ) , disjunksjon (OR ,