Boolean satisfiability problem

Boolsk tilfredsstillelsesproblem: I logikk og informatikk er det boolske tilfredsstillelsesproblemet problemet med å avgjøre om det eksisterer en tolkning som tilfredsstiller en gitt boolsk formel. Med andre ord spør den om variablene til en gitt boolsk formel konsekvent kan erstattes av verdiene SANN eller FALSK på en slik måte at formelen evalueres til SANT. Hvis dette er tilfelle, kalles formelen tilfredsstillende . På den annen side, hvis ingen slik tildeling eksisterer, er funksjonen uttrykt med formelen FALSK for alle mulige variable tildelinger, og formelen er utilfredsstillende . For eksempel er formelen " a OG IKKE b " tilfredsstillende fordi man kan finne verdiene a = TRUE og b = FALSE, som gjør = TRUE. I kontrast er " a AND NOT a " utilfredsstillende.
Boolsk tilfredsstillelsesproblem: I logikk og informatikk er det boolske tilfredsstillelsesproblemet problemet med å avgjøre om det eksisterer en tolkning som tilfredsstiller en gitt boolsk formel. Med andre ord spør den om variablene til en gitt boolsk formel konsekvent kan erstattes av verdiene SANN eller FALSK på en slik måte at formelen evalueres til SANT. Hvis dette er tilfelle, kalles formelen tilfredsstillende . På den annen side, hvis ingen slik tildeling eksisterer, er funksjonen uttrykt med formelen FALSK for alle mulige variable tildelinger, og formelen er utilfredsstillende . For eksempel er formelen " a OG IKKE b " tilfredsstillende fordi man kan finne verdiene a = TRUE og b = FALSE, som gjør = TRUE. I kontrast er " a AND NOT a " utilfredsstillende.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk algebra (tvetydighet): Boolsk algebra er algebra av sannhetsverdier og operasjoner på dem.
Boolsk algebra (struktur): I abstrakt algebra er en boolsk algebra eller boolsk gitter et komplementert distribuerende gitter. Denne typen algebraisk struktur fanger viktige egenskaper til både settoperasjoner og logiske operasjoner. En boolsk algebra kan sees på som en generalisering av en kraftsett-algebra eller et felt av sett, eller dens elementer kan sees på som generaliserte sannhetsverdier. Det er også et spesielt tilfelle av en De Morgan-algebra og en Kleene-algebra.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk algebra (struktur): I abstrakt algebra er en boolsk algebra eller boolsk gitter et komplementert distribuerende gitter. Denne typen algebraisk struktur fanger viktige egenskaper til både settoperasjoner og logiske operasjoner. En boolsk algebra kan sees på som en generalisering av en kraftsett-algebra eller et felt av sett, eller dens elementer kan sees på som generaliserte sannhetsverdier. Det er også et spesielt tilfelle av en De Morgan-algebra og en Kleene-algebra.
Liste over emner om boolske algebra: Dette er en liste over emner rundt boolsk algebra og proposisjonslogikk .
Boolsk algebra (struktur): I abstrakt algebra er en boolsk algebra eller boolsk gitter et komplementert distribuerende gitter. Denne typen algebraisk struktur fanger viktige egenskaper til både settoperasjoner og logiske operasjoner. En boolsk algebra kan sees på som en generalisering av en kraftsett-algebra eller et felt av sett, eller dens elementer kan sees på som generaliserte sannhetsverdier. Det er også et spesielt tilfelle av en De Morgan-algebra og en Kleene-algebra.
Boolske algebraer kanonisk definert: Boolsk algebra er en matematisk rik gren av abstrakt algebra. Akkurat som gruppeteori omhandler grupper, og lineær algebra med vektorrom, er boolske algebraer modeller av ligningsteorien om de to verdiene 0 og 1. Felles for boolske algebraer, grupper og vektorrom er begrepet en algebraisk struktur, en sett lukket under null eller flere operasjoner som tilfredsstiller visse ligninger.
Boolsk analyse: Boolsk analyse ble introdusert av Flament (1976). Målet med en boolsk analyse er å oppdage deterministiske avhengigheter mellom elementene i spørreskjemaet eller lignende datastrukturer i observerte responsmønstre. Disse deterministiske avhengighetene har form av logiske formler som forbinder elementene. Anta for eksempel at et spørreskjema inneholder elementene i , j og k . Eksempler på slike deterministiske avhengigheter er da i → j , i ∧ j → k , og i ∨ j → k .
To-element boolsk algebra: I matematikk og abstrakt algebra er to-element boolsk algebra den boolske algebra hvis underliggende sett B er det boolske domenet. Elementene i det boolske domenet er 1 og 0 etter konvensjon, slik at B = {0, 1}. Paul Halmos navn på denne algebraen " 2 " har noe å si i litteraturen, og vil bli brukt her.
Bit array: En bit array er en array datastruktur som kompakt lagrer bits. Den kan brukes til å implementere en enkel sett datastruktur. Et bitarray er effektivt for å utnytte parallellitet på bitnivå i maskinvare for å utføre operasjoner raskt. En typisk bitgruppe lagrer kw- bits, hvor w er antall bits i lagringsenheten, for eksempel en byte eller et ord, og k er noe ikke-negativt heltall. Hvis w ikke deler antall bits som skal lagres, blir noe plass bortkastet på grunn av intern fragmentering.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk krets: I beregningskompleksitetsteori og kretskompleksitet er en boolsk krets en matematisk modell for kombinasjons digitale logiske kretser. Et formelt språk kan avgjøres av en familie av boolske kretser, en krets for hver mulig inngangslengde. Boolske kretser brukes også som en formell modell for kombinasjonslogikk i digital elektronikk.
Boolsk krets: I beregningskompleksitetsteori og kretskompleksitet er en boolsk krets en matematisk modell for kombinasjons digitale logiske kretser. Et formelt språk kan avgjøres av en familie av boolske kretser, en krets for hver mulig inngangslengde. Boolske kretser brukes også som en formell modell for kombinasjonslogikk i digital elektronikk.
Boolsk konjunktiv spørring: I teorien om relasjonsdatabaser er et boolsk konjunktivt spørsmål et konjunktivt spørsmål uten kjente predikater, dvs. et spørsmål i form , hvor hver er et relasjonssymbol og hver er en mengde variabler og konstanter; antall elementer i er lik arity av . Et slikt spørsmål evalueres til enten sant eller usant, avhengig av om forholdene i databasen inneholder de riktige verdituplene, dvs. sammenhengen er gyldig i henhold til fakta i databasen.
Boolsk datatype: I datavitenskap er den boolske datatypen en datatype som har en av to mulige verdier som er ment å representere de to sannhetsverdiene for logikk og boolsk algebra. Den er oppkalt etter George Boole, som først definerte et algebraisk logikksystem på midten av 1800-tallet. Den boolske datatypen er primært assosiert med betingede utsagn, som tillater forskjellige handlinger ved å endre kontrollflyt avhengig av om en programmerer-spesifisert boolsk tilstand evalueres til sant eller usant. Det er et spesielt tilfelle av en mer generell logisk datatype - logikk trenger ikke alltid å være boolsk.
Boolsk datatype: I datavitenskap er den boolske datatypen en datatype som har en av to mulige verdier som er ment å representere de to sannhetsverdiene for logikk og boolsk algebra. Den er oppkalt etter George Boole, som først definerte et algebraisk logikksystem på midten av 1800-tallet. Den boolske datatypen er primært assosiert med betingede utsagn, som tillater forskjellige handlinger ved å endre kontrollflyt avhengig av om en programmerer-spesifisert boolsk tilstand evalueres til sant eller usant. Det er et spesielt tilfelle av en mer generell logisk datatype - logikk trenger ikke alltid å være boolsk.
Boolsk datatype: I datavitenskap er den boolske datatypen en datatype som har en av to mulige verdier som er ment å representere de to sannhetsverdiene for logikk og boolsk algebra. Den er oppkalt etter George Boole, som først definerte et algebraisk logikksystem på midten av 1800-tallet. Den boolske datatypen er primært assosiert med betingede utsagn, som tillater forskjellige handlinger ved å endre kontrollflyt avhengig av om en programmerer-spesifisert boolsk tilstand evalueres til sant eller usant. Det er et spesielt tilfelle av en mer generell logisk datatype - logikk trenger ikke alltid å være boolsk.
Boolsk forsinkelsesligning: En Boolean Delay Equation (BDE) er en evolusjonsregel for tilstanden til dynamiske variabler hvis verdier kan representeres av et endelig diskret antall os-tilstander, slik som 0 og 1. Som en ny type semi-diskrete dynamiske systemer, er boolske forsinkelsesligninger (BDEer) er modeller med Boolean-verdsatte variabler som utvikler seg i kontinuerlig tid. Siden de fleste fenomener for tiden er for kompliserte til å være modellert av delvise differensiallikninger, er BDEs ment som et (heuristisk) første skritt på den utfordrende veien for å forstå dem videre og modellere dem. For eksempel kan man nevne komplekse problemer innen væskedynamikk, klimadynamikk, fastjordgeofysikk og mange problemer andre steder innen naturvitenskap der mye av diskursen fremdeles er konseptuell.
Boolsk forsinkelsesligning: En Boolean Delay Equation (BDE) er en evolusjonsregel for tilstanden til dynamiske variabler hvis verdier kan representeres av et endelig diskret antall os-tilstander, slik som 0 og 1. Som en ny type semi-diskrete dynamiske systemer, er boolske forsinkelsesligninger (BDEer) er modeller med Boolean-verdsatte variabler som utvikler seg i kontinuerlig tid. Siden de fleste fenomener for tiden er for kompliserte til å være modellert av delvise differensiallikninger, er BDEs ment som et (heuristisk) første skritt på den utfordrende veien for å forstå dem videre og modellere dem. For eksempel kan man nevne komplekse problemer innen væskedynamikk, klimadynamikk, fastjordgeofysikk og mange problemer andre steder innen naturvitenskap der mye av diskursen fremdeles er konseptuell.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk domene: I matematikk og abstrakt algebra er et boolsk domene et sett som består av nøyaktig to elementer hvis tolkninger inkluderer falske og sanne . Innen logikk, matematikk og teoretisk informatikk blir et boolsk domene vanligvis skrevet som {0, 1} eller	\ nI matematikk og abstrakt algebra er et boolsk domene et sett som består av nøyaktig to elementer hvis tolkninger inkluderer falske og sanne . Innen logikk, matematikk og teoretisk informatikk blir et boolsk domene vanligvis skrevet som {0, 1} eller
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk uttrykk: I informatikk er et boolsk uttrykk et uttrykk som brukes i programmeringsspråk som produserer en boolsk verdi når den evalueres. En boolsk verdi er enten sant eller usant . Et boolsk uttrykk kan være sammensatt av en kombinasjon av de boolske konstantene sanne eller falske , boolske typede variabler, boolske verdsatte operatorer og boolske verdsatte funksjoner.
Boolsk uttrykk: I informatikk er et boolsk uttrykk et uttrykk som brukes i programmeringsspråk som produserer en boolsk verdi når den evalueres. En boolsk verdi er enten sant eller usant . Et boolsk uttrykk kan være sammensatt av en kombinasjon av de boolske konstantene sanne eller falske , boolske typede variabler, boolske verdsatte operatorer og boolske verdsatte funksjoner.
Boolsk flagg: Et boolsk flagg , sannhetsbit eller sannhetsflagg i informatikk er en boolsk verdi representert som en eller flere biter, som koder for en tilstandsvariabel med to mulige verdier.
Flip-flop (programmering): I dataprogrammering er en flip-flop en sjelden brukt syntaktisk konstruksjon som gjør det mulig for en boolsk å bla fra falsk til sann når en første betingelse er oppfylt, og deretter tilbake til falsk når en annen betingelse er oppfylt. Syntaksen er tilgjengelig på programmeringsspråkene Perl og Ruby. Lignende logikk er tilgjengelig i sed og awk.
Boolsk funksjon: I matematikk er en boolsk funksjon en funksjon hvis argumenter, så vel som selve funksjonen, antar verdier fra et toelementsett. Alternative navn er byttefunksjon , brukt spesielt i eldre datalogisk litteratur, og sannhetsfunksjon , brukt i logikk. Boolske funksjoner er gjenstand for boolsk algebra og bytte teori.
Analyse av boolske funksjoner: I matematikk og teoretisk informatikk er analyse av boolske funksjoner studiet av virkelig verdsatte funksjoner på eller fra et spektralt perspektiv. Funksjonene som studeres er ofte, men ikke alltid, boolsk-verdsatt, noe som gjør dem til boolske funksjoner. Området har funnet mange bruksområder innen kombinatorikk, teori om sosialt valg, tilfeldige grafer og teoretisk informatikk, spesielt i tilnærmingens hardhet, eiendomstesting og PAC-læring.
Boolsk funksjon: I matematikk er en boolsk funksjon en funksjon hvis argumenter, så vel som selve funksjonen, antar verdier fra et toelementsett. Alternative navn er byttefunksjon , brukt spesielt i eldre datalogisk litteratur, og sannhetsfunksjon , brukt i logikk. Boolske funksjoner er gjenstand for boolsk algebra og bytte teori.
Boolsk grammatikk: Boolske grammatikker , introdusert av Okhotin, er en klasse formelle grammatikker studert i formell språkteori. De utvider den grunnleggende typen grammatikk, de kontekstfrie grammatikkene, med konjunktjons- og negasjonsoperasjoner. Foruten disse eksplisitte operasjonene tillater boolske grammatikker implisitt disjunksjon representert av flere regler for et enkelt ikke-terminalt symbol, som er den eneste logiske forbindelsen som kan uttrykkes i kontekstfrie grammatikker. Konjunksjon og negasjon kan spesielt brukes til å spesifisere skjæringspunkt og komplement av språk. En mellomklasse av grammatikker kjent som konjunktiv grammatikk tillater konjunktjon og disjunksjon, men ikke negasjon.
Elementær abelsk gruppe: I matematikk, spesielt i gruppeteori, er en elementær abelsk gruppe en abelsk gruppe der hvert ikke-trivielt element har orden p . Antallet p må være primært, og de elementære abeliske gruppene er en bestemt type p- gruppe . Tilfellet der p = 2, dvs. en elementær abelsk 2-gruppe, kalles noen ganger en boolsk gruppe .
Boolsk hierarki: Det boolske hierarkiet er hierarkiet til boolske kombinasjoner av NP-sett. Tilsvarende kan det boolske hierarkiet beskrives som klassen av boolske kretser over NP-predikater. En kollaps av det boolske hierarkiet ville innebære et kollaps av det polynomiske hierarkiet.
Boolsk algebra (struktur): I abstrakt algebra er en boolsk algebra eller boolsk gitter et komplementert distribuerende gitter. Denne typen algebraisk struktur fanger viktige egenskaper til både settoperasjoner og logiske operasjoner. En boolsk algebra kan sees på som en generalisering av en kraftsett-algebra eller et felt av sett, eller dens elementer kan sees på som generaliserte sannhetsverdier. Det er også et spesielt tilfelle av en De Morgan-algebra og en Kleene-algebra.
Boolsk algebra (struktur): I abstrakt algebra er en boolsk algebra eller boolsk gitter et komplementert distribuerende gitter. Denne typen algebraisk struktur fanger viktige egenskaper til både settoperasjoner og logiske operasjoner. En boolsk algebra kan sees på som en generalisering av en kraftsett-algebra eller et felt av sett, eller dens elementer kan sees på som generaliserte sannhetsverdier. Det er også et spesielt tilfelle av en De Morgan-algebra og en Kleene-algebra.
Inkludering (boolsk algebra): I boolsk algebra, inkluderingsforholdet er definert som og er den boolske analogen til delsettrelasjonen i mengdeori. Inkludering er en delvis ordre.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk algebra (struktur): I abstrakt algebra er en boolsk algebra eller boolsk gitter et komplementert distribuerende gitter. Denne typen algebraisk struktur fanger viktige egenskaper til både settoperasjoner og logiske operasjoner. En boolsk algebra kan sees på som en generalisering av en kraftsett-algebra eller et felt av sett, eller dens elementer kan sees på som generaliserte sannhetsverdier. Det er også et spesielt tilfelle av en De Morgan-algebra og en Kleene-algebra.
Bokstavelig (matematisk logikk): I matematisk logikk er en bokstav en atomformel (atom) eller dens negasjon. Definisjonen vises for det meste i bevisteori, f.eks. I konjunktiv normalform og metoden for oppløsning.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk matrise: I matematikk er en boolsk matrise en matrise med oppføringer fra en boolsk algebra. Når to-element boolsk algebra brukes, kalles den boolske matrisen en logisk matrise.
Logikkoptimalisering: Logikkoptimalisering , en del av logisk syntese i elektronikk, er prosessen med å finne en ekvivalent representasjon av den spesifiserte logikkretsen under en eller flere spesifiserte begrensninger. Generelt er kretsen begrenset til et minimum chipområde som oppfyller en forhåndsbestemt forsinkelse.
Logikkoptimalisering: Logikkoptimalisering , en del av logisk syntese i elektronikk, er prosessen med å finne en ekvivalent representasjon av den spesifiserte logikkretsen under en eller flere spesifiserte begrensninger. Generelt er kretsen begrenset til et minimum chipområde som oppfyller en forhåndsbestemt forsinkelse.
Boolsk modell (sannsynlighetsteori): I sannsynlighetsteori er den boolske-Poisson-modellen eller ganske enkelt den boolske modellen for en tilfeldig delmengde av planet en av de enkleste og mest gjennomførbare modellene i stokastisk geometri. Ta en Poisson-poeng med hastighet i flyet og gjør hvert punkt midt i et tilfeldig sett; den resulterende foreningen av overlappende sett er en realisering av den boolske modellen . Mer presist er parametrene og en sannsynlighetsfordeling på kompakte sett; for hvert punkt av Poisson-poengprosessen velger vi et sett fra distribusjonen, og definer deretter som fagforeningen av oversatte sett.
Boolsk modell for informasjonsinnhenting: Den (standard) boolske modellen for informasjonsinnhenting (BIR) er en klassisk informasjonsinnhentingsmodell (IR) og samtidig den første og mest adopterte. Den brukes av mange IR-systemer den dag i dag. BIR er basert på boolsk logikk og klassisk mengde teori ved at både dokumentene som skal søkes og brukerens spørsmål er oppfattet som sett med termer. Henting er basert på om dokumentene inneholder søkeordene.
Boolsk nettverk: Et boolsk nettverk består av et diskret sett med boolske variabler som hver har en boolsk funksjon tildelt som tar innganger fra en delmengde av disse variablene og utdata som bestemmer tilstanden til variabelen den er tildelt. Dette settet med funksjoner bestemmer i virkeligheten en topologi (tilkobling) på settet med variabler, som deretter blir noder i et nettverk. Vanligvis blir systemets dynamikk tatt som en diskret tidsserie der tilstanden til hele nettverket ved tid t + 1 bestemmes ved å evaluere hver variabels funksjon på nettverkets tilstand på tidspunktet t . Dette kan gjøres synkront eller asynkront.
Boolsk nettverk: Et boolsk nettverk består av et diskret sett med boolske variabler som hver har en boolsk funksjon tildelt som tar innganger fra en delmengde av disse variablene og utdata som bestemmer tilstanden til variabelen den er tildelt. Dette settet med funksjoner bestemmer i virkeligheten en topologi (tilkobling) på settet med variabler, som deretter blir noder i et nettverk. Vanligvis blir systemets dynamikk tatt som en diskret tidsserie der tilstanden til hele nettverket ved tid t + 1 bestemmes ved å evaluere hver variabels funksjon på nettverkets tilstand på tidspunktet t . Dette kan gjøres synkront eller asynkront.
Kanonisk normalform: I boolsk algebra kan enhver boolsk funksjon settes i den kanoniske disjunktive normale form ( CDNF ) eller minterm kanonisk form og dens dobbel kanoniske konjunktiv normalform ( CCNF ) eller maxterm kanonisk form . Andre kanoniske former inkluderer den totale summen av primære implikanter eller Blake kanoniske form, og den algebraiske normale formen.
Boolsk operasjon: Boolsk operasjon eller boolsk operatør kan bety Boolsk funksjon en operasjon i en boolsk algebra; spesielt: operasjoner over algebraen av sett: union, kryss, etc. binære operasjoner Boolske operasjoner på polygoner en applikasjon av en logisk forbindelse, f.eks. i programmering.
Boolsk operasjon: Boolsk operasjon eller boolsk operatør kan bety Boolsk funksjon en operasjon i en boolsk algebra; spesielt: operasjoner over algebraen av sett: union, kryss, etc. binære operasjoner Boolske operasjoner på polygoner en applikasjon av en logisk forbindelse, f.eks. i programmering.
Boolsk operasjon: Boolsk operasjon eller boolsk operatør kan bety Boolsk funksjon en operasjon i en boolsk algebra; spesielt: operasjoner over algebraen av sett: union, kryss, etc. binære operasjoner Boolske operasjoner på polygoner en applikasjon av en logisk forbindelse, f.eks. i programmering.
Konstruktiv solid geometri: Konstruktiv solid geometri er en teknikk som brukes i solid modellering. Konstruktiv solid geometri gjør det mulig for en modellerer å lage en kompleks overflate eller et objekt ved å bruke boolske operatorer til å kombinere enklere objekter, og potensielt generere visuelt komplekse objekter ved å kombinere noen få primitive.
Boolske operasjoner på polygoner: Boolske operasjoner på polygoner er et sett med boolske operasjoner som opererer på ett eller flere sett med polygoner i datagrafikk. Disse operasjonssettene er mye brukt i datagrafikk, CAD og i EDA.
Boolsk operasjon: Boolsk operasjon eller boolsk operatør kan bety Boolsk funksjon en operasjon i en boolsk algebra; spesielt: operasjoner over algebraen av sett: union, kryss, etc. binære operasjoner Boolske operasjoner på polygoner en applikasjon av en logisk forbindelse, f.eks. i programmering.
Logisk kobling: I logikk er et logisk bindeledd en logisk konstant som brukes til å koble sammen to eller flere formler. For eksempel i syntaksen for proposisjonslogikk, den binære bindeleddet kan brukes til å bli med de to atomformlene og , gjengivelse av den komplekse formelen .
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Zhegalkin polynom: Zhegalkin- polynomer er en representasjon av funksjoner i boolsk algebra. Introdusert av den russiske matematikeren Ivan Ivanovich Zhegalkin i 1927, er de polynomringen over heltallene modulo 2. De resulterende degenerasjonene av modulær aritmetikk resulterer i at Zhegalkin-polynomene er enklere enn vanlige polynomer, og krever verken koeffisienter eller eksponenter. Koeffisienter er overflødige fordi 1 er den eneste koeffisienten som ikke er null. Eksponenter er overflødige fordi i aritmetisk mod 2, x 2 = x . Derfor er et polynom som 3 x 2 y 5 z kongruent til, og kan derfor skrives om som, xyz .
Predikat (matematisk logikk): I matematisk logikk er et predikat formaliseringen av det matematiske setningsbegrepet . En uttalelse blir ofte forstått som en påstand som kan være sant eller usant , avhengig av verdiene til variablene som forekommer i den. Et predikat er en godt formet formel som kan vurderes til sant eller usant i funksjon av verdiene til variablene som forekommer i den. Det kan således betraktes som en funksjon som er verdsatt av Boolean.
Boolsk prime ideell setning: I matematikk fastslår den boolske hovedidealsetningen at idealer i en boolsk algebra kan utvides til hovedidealer. En variant av denne uttalelsen for filtre på sett er kjent som ultrafilterlemmaet. Andre teoremer oppnås ved å vurdere forskjellige matematiske strukturer med passende forestillinger om idealer, for eksempel ringer og primidealer, eller distribuerende gitter og maksimale idealer. Denne artikkelen fokuserer på viktige idealsetninger fra ordre teori.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Intel 8051: Intel MCS-51 er en single chip microcontroller (MCU) -serie utviklet av Intel i 1980 for bruk i innebygde systemer. Arkitekten til Intel MCS-51 instruksjonssett var John H. Wharton. Intels originale versjoner var populære på 1980- og begynnelsen av 1990-tallet, og forbedrede binære kompatible derivater er fortsatt populære i dag. Det er et eksempel på en kompleks instruksjonsdatamaskin, og har separate minneplasser for programinstruksjoner og data.
Genregulerende nettverk: En gennettverk (grn) er en samling av molekylære regulatorer som samvirker med hverandre og med andre stoffer i cellen for å styre genuttrykk nivåer av mRNA og protein som i sin tur bestemmer funksjonen av cellen. GRN spiller også en sentral rolle i morfogenese, skapelsen av kroppsstrukturer, som igjen er sentralt i evolusjonær utviklingsbiologi (evo-devo).
Boolsk ring: I matematikk er en boolsk ring R en ring som x 2 = x for alle x i R , det vil si en ring som bare består av idempotente elementer. Et eksempel er ringen av heltall modulo 2.
Boolsk ring: I matematikk er en boolsk ring R en ring som x 2 = x for alle x i R , det vil si en ring som bare består av idempotente elementer. Et eksempel er ringen av heltall modulo 2.
Boolsk tilfredsstillelsesproblem: I logikk og informatikk er det boolske tilfredsstillelsesproblemet problemet med å avgjøre om det eksisterer en tolkning som tilfredsstiller en gitt boolsk formel. Med andre ord spør den om variablene til en gitt boolsk formel konsekvent kan erstattes av verdiene SANN eller FALSK på en slik måte at formelen evalueres til SANT. Hvis dette er tilfelle, kalles formelen tilfredsstillende . På den annen side, hvis ingen slik tildeling eksisterer, er funksjonen uttrykt med formelen FALSK for alle mulige variable tildelinger, og formelen er utilfredsstillende . For eksempel er formelen " a OG IKKE b " tilfredsstillende fordi man kan finne verdiene a = TRUE og b = FALSE, som gjør = TRUE. I kontrast er " a AND NOT a " utilfredsstillende.
Boolsk tilfredshetsalgoritmeheuristikk: Gitt et boolsk uttrykk med variabler, finne en oppgave av variablene slik at er sant kalles det boolske tilfredsstillelsesproblemet, ofte forkortet SAT, og blir sett på som det kanoniske NP-komplette problemet.
Boolsk tilfredsstillelsesproblem: I logikk og informatikk er det boolske tilfredsstillelsesproblemet problemet med å avgjøre om det eksisterer en tolkning som tilfredsstiller en gitt boolsk formel. Med andre ord spør den om variablene til en gitt boolsk formel konsekvent kan erstattes av verdiene SANN eller FALSK på en slik måte at formelen evalueres til SANT. Hvis dette er tilfelle, kalles formelen tilfredsstillende . På den annen side, hvis ingen slik tildeling eksisterer, er funksjonen uttrykt med formelen FALSK for alle mulige variable tildelinger, og formelen er utilfredsstillende . For eksempel er formelen " a OG IKKE b " tilfredsstillende fordi man kan finne verdiene a = TRUE og b = FALSE, som gjør = TRUE. I kontrast er " a AND NOT a " utilfredsstillende.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Semiring: I abstrakt algebra er en semiring en algebraisk struktur som ligner på en ring, men uten kravet om at hvert element må ha et additiv invers.
Boolsk domene: I matematikk og abstrakt algebra er et boolsk domene et sett som består av nøyaktig to elementer hvis tolkninger inkluderer falske og sanne . Innen logikk, matematikk og teoretisk informatikk blir et boolsk domene vanligvis skrevet som {0, 1} eller	\ nI matematikk og abstrakt algebra er et boolsk domene et sett som består av nøyaktig to elementer hvis tolkninger inkluderer falske og sanne . Innen logikk, matematikk og teoretisk informatikk blir et boolsk domene vanligvis skrevet som {0, 1} eller
Sett med algebra: I matematikk definerer algebraen av mengder , for ikke å forveksle med den matematiske strukturen til en algebra av mengder , egenskapene og lovene til settene, mengde-teoretiske operasjoner av union, skjæringspunkt og komplementering og forholdet mellom sett likhet og mengde inkludering. Det gir også systematiske prosedyrer for å evaluere uttrykk og utføre beregninger som involverer disse operasjonene og relasjonene.
Logikkoptimalisering: Logikkoptimalisering , en del av logisk syntese i elektronikk, er prosessen med å finne en ekvivalent representasjon av den spesifiserte logikkretsen under en eller flere spesifiserte begrensninger. Generelt er kretsen begrenset til et minimum chipområde som oppfyller en forhåndsbestemt forsinkelse.
Steins representasjonssetning for boolske algebraer: I matematikk sier Stones representasjonssetning for boolske algebraer at hver boolsk algebra er isomorf til et bestemt mengde felt. Teoremet er grunnleggende for den dypere forståelsen av boolsk algebra som dukket opp i første halvdel av det 20. århundre. Teoremet ble først bevist av Marshall H. Stone. Stone ble ledet til det ved sin studie av spektralteorien til operatører i et Hilbert-rom.
Boolsk algebra: I matematikk og matematisk logikk er boolsk algebra grenen av algebra der verdiene til variablene er sannhetsverdiene sanne og falske , vanligvis betegnet henholdsvis 1 og 0. I stedet for elementær algebra, hvor verdiene til variablene er tall og primoperasjonene er addisjon og multiplikasjon, er hovedoperasjonene til boolsk algebra konjunktjonen ( og ) betegnet som ∧, disjunktjonen ( eller ) betegnet som ∨, og negasjonen ( ikke ) betegnet som ¬. Det er altså en formalisme for å beskrive logiske operasjoner, på samme måte som elementær algebra beskriver numeriske operasjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk datatype: I datavitenskap er den boolske datatypen en datatype som har en av to mulige verdier som er ment å representere de to sannhetsverdiene for logikk og boolsk algebra. Den er oppkalt etter George Boole, som først definerte et algebraisk logikksystem på midten av 1800-tallet. Den boolske datatypen er primært assosiert med betingede utsagn, som tillater forskjellige handlinger ved å endre kontrollflyt avhengig av om en programmerer-spesifisert boolsk tilstand evalueres til sant eller usant. Det er et spesielt tilfelle av en mer generell logisk datatype - logikk trenger ikke alltid å være boolsk.
Tolkning (logikk): En tolkning er en tildeling av mening til symbolene på et formelt språk. Mange formelle språk som brukes i matematikk, logikk og teoretisk informatikk er definert utelukkende i syntaktiske termer, og som sådan har de ingen betydning før de blir gitt noen tolkning. Den generelle studien av tolkninger av formelle språk kalles formell semantikk.
Boolsk datatype: I datavitenskap er den boolske datatypen en datatype som har en av to mulige verdier som er ment å representere de to sannhetsverdiene for logikk og boolsk algebra. Den er oppkalt etter George Boole, som først definerte et algebraisk logikksystem på midten av 1800-tallet. Den boolske datatypen er primært assosiert med betingede utsagn, som tillater forskjellige handlinger ved å endre kontrollflyt avhengig av om en programmerer-spesifisert boolsk tilstand evalueres til sant eller usant. Det er et spesielt tilfelle av en mer generell logisk datatype - logikk trenger ikke alltid å være boolsk.
Boolsk funksjon: I matematikk er en boolsk funksjon en funksjon hvis argumenter, så vel som selve funksjonen, antar verdier fra et toelementsett. Alternative navn er byttefunksjon , brukt spesielt i eldre datalogisk litteratur, og sannhetsfunksjon , brukt i logikk. Boolske funksjoner er gjenstand for boolsk algebra og bytte teori.
Boolsk verdsatt modell: I matematisk logikk er en boolsk verdsatt modell en generalisering av den vanlige Tarskian-forestillingen om struktur fra modellteori. I en boolsk verdsatt modell er sannhetsverdiene til proposisjoner ikke begrenset til "sann" og "falsk", men tar i stedet verdier i en eller annen fast komplett boolsk algebra.
Boolsk datatype: I datavitenskap er den boolske datatypen en datatype som har en av to mulige verdier som er ment å representere de to sannhetsverdiene for logikk og boolsk algebra. Den er oppkalt etter George Boole, som først definerte et algebraisk logikksystem på midten av 1800-tallet. Den boolske datatypen er primært assosiert med betingede utsagn, som tillater forskjellige handlinger ved å endre kontrollflyt avhengig av om en programmerer-spesifisert boolsk tilstand evalueres til sant eller usant. Det er et spesielt tilfelle av en mer generell logisk datatype - logikk trenger ikke alltid å være boolsk.
Bit array: En bit array er en array datastruktur som kompakt lagrer bits. Den kan brukes til å implementere en enkel sett datastruktur. Et bitarray er effektivt for å utnytte parallellitet på bitnivå i maskinvare for å utføre operasjoner raskt. En typisk bitgruppe lagrer kw- bits, hvor w er antall bits i lagringsenheten, for eksempel en byte eller et ord, og k er noe ikke-negativt heltall. Hvis w ikke deler antall bits som skal lagres, blir noe plass bortkastet på grunn av intern fragmentering.
Boolsk: Enhver form for logikk, funksjon, uttrykk eller teori basert på arbeidet til George Boole betraktes som boolsk .
Tilfredsstillelsesmodulteorier: I datavitenskap og matematisk logikk er tilfredshet modulo teorier ( SMT ) problemet et beslutningsproblem for logiske formler med hensyn til kombinasjoner av bakgrunnsteorier uttrykt i klassisk førsteordens logikk med likeverd. Eksempler på teorier som vanligvis brukes i informatikk er teorien om reelle tall, teorien om heltall og teoriene til forskjellige datastrukturer som lister, matriser, bitvektorer og så videre. SMT kan betraktes som en form for problemet med begrensningstilfredshet og dermed en viss formalisert tilnærming til begrensningsprogrammering.
Booleo: Booleo er et strategikortspill som bruker boolske logiske porter. Den ble utviklet av Jonathan Brandt og Chris Kampf med Sean P. Dennis i 2008, og den ble først publisert av Tessera Games LLC i 2009.
Bööler Pass: Bööler Pass er et fjellovergang i kantonen Aargau i Sveits.
Bööler Pass: Bööler Pass er et fjellovergang i kantonen Aargau i Sveits.
Booleroo Center: Booleroo Center er en by i den sørlige Flinders Ranges-regionen i Sør-Australia. Byen ligger i Mount Remarkable District Council lokale myndighetsområde, 282 kilometer nord for delstatshovedstaden Adelaide. Ved folketellingen i 2006 hadde Booleroo Center en befolkning på 516.
Booleroo Center: Booleroo Center er en by i den sørlige Flinders Ranges-regionen i Sør-Australia. Byen ligger i Mount Remarkable District Council lokale myndighetsområde, 282 kilometer nord for delstatshovedstaden Adelaide. Ved folketellingen i 2006 hadde Booleroo Center en befolkning på 516.
Booleroo Center: Booleroo Center er en by i den sørlige Flinders Ranges-regionen i Sør-Australia. Byen ligger i Mount Remarkable District Council lokale myndighetsområde, 282 kilometer nord for delstatshovedstaden Adelaide. Ved folketellingen i 2006 hadde Booleroo Center en befolkning på 516.
Booleroo Center: Booleroo Center er en by i den sørlige Flinders Ranges-regionen i Sør-Australia. Byen ligger i Mount Remarkable District Council lokale myndighetsområde, 282 kilometer nord for delstatshovedstaden Adelaide. Ved folketellingen i 2006 hadde Booleroo Center en befolkning på 516.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Boolsk differensialregning: Boolsk differensialregning ( BDC ) er et fagfelt i boolsk algebra som diskuterer endringer av boolske variabler og boolske funksjoner.
Duke Special: Duke Special er en låtskriver og utøver basert i Belfast, Nord-Irland. En pianobasert låtskriver med en romantisk stil og en varm, tydelig aksent stemme, han har særegne lange dreadlocks, eyeliner og antrekk han beskriver som "hobo chic". Hans liveopptredener har teatralsk stil inspirert av Vaudeville og musikksal, og inneholder ofte 78-tallet spilt på en gammeldags grammofon eller lydeffekter fra en transistorradio. Han er oftest akkompagnert av perkusjonisten "Temperance Society" Chip Bailey, som spiller ostegryvere og eggpisker, en Stumpf-fele og en Shruti-boks, samt de mer typiske trommer og cymbaler. Andre musikere som av og til opptrer med Wilson inkluderer Paul Pilot (gitar), Réa Curran, Ben Castle, Ben Hales, Gareth Williams, "Professor" Ger Eaton (keyboard), Dan Donnelly og Serge Archibald III.
Booley Bay Formasjon: Booley Bay Formation er en geologisk formasjon i Irland. Det bevarer fossiler som dateres tilbake til den kambriumperioden.
Booley Bay Formasjon: Booley Bay Formation er en geologisk formasjon i Irland. Det bevarer fossiler som dateres tilbake til den kambriumperioden.
Duke Special: Duke Special er en låtskriver og utøver basert i Belfast, Nord-Irland. En pianobasert låtskriver med en romantisk stil og en varm, tydelig aksent stemme, han har særegne lange dreadlocks, eyeliner og antrekk han beskriver som "hobo chic". Hans liveopptredener har teatralsk stil inspirert av Vaudeville og musikksal, og inneholder ofte 78-tallet spilt på en gammeldags grammofon eller lydeffekter fra en transistorradio. Han er oftest akkompagnert av perkusjonisten "Temperance Society" Chip Bailey, som spiller ostegryvere og eggpisker, en Stumpf-fele og en Shruti-boks, samt de mer typiske trommer og cymbaler. Andre musikere som av og til opptrer med Wilson inkluderer Paul Pilot (gitar), Réa Curran, Ben Castle, Ben Hales, Gareth Williams, "Professor" Ger Eaton (keyboard), Dan Donnelly og Serge Archibald III.
Transhumance: Transhumance er en type pastoralisme eller nomadisme, en sesongmessig bevegelse av husdyr mellom faste sommer- og vinterbeiter. I montane regioner innebærer det bevegelse mellom høyere beite om sommeren og lavere daler om vinteren. Herdere har et fast hjem, vanligvis i daler. Generelt er det bare flokkene som reiser, med et visst antall mennesker som er nødvendige for å passe dem, mens hovedpopulasjonen holder seg ved basen. I kontrast er horisontal transhumance mer utsatt for å bli forstyrret av klimatiske, økonomiske eller politiske endringer.
Booles utvidelsesteori: Booles utvidelsesteori , ofte referert til som Shannon-utvidelse eller nedbrytning , er identiteten: , hvor er en hvilken som helst boolsk funksjon, er en variabel, er komplementet til , og og er med argumentet sett lik og til henholdsvis.
Bu ol Fath: Bu ol Fath er en landsby i Liravi-ye Jonubi Rural District, Imam Hassan District, Deylam County, Bushehr Province, Iran. Ved folketellingen i 2006 var befolkningen 118, i 29 familier.
Boolfight: Boolfight er et indie-elektro-popband fra Paris, Frankrike, mest kjent for albumet Feral utgitt i 2012 på Montmorency Records, og deres Multiple Devils EP utgitt i 2010 på samme label.
Calothamnus sanguineus: Calothamnus sanguineus , kjent som silkeaktig blodblomst , er en plante i myrtfamilien, Myrtaceae og er endemisk sørvest i Vest-Australia. Noongar-folket kjenner planten som Boolgalla . Det er en oppreist til å spre busk med korte, sylindriske blader og røde eller hvite blomster med et uvanlig arrangement av stammer, ofte blomstrende om høsten, vinteren eller våren. Det var den første av slekten som ble beskrevet formelt.
Boolgeeda flyplass: Boolgeeda lufthavn er en flyplass som betjener Brockman 4-gruven i Vest-Australia.
Mongo språk: Mongo , også kalt Nkundo eller Mongo-Nkundu , er et bantuspråk som snakkes av flere av mongofolket i Den demokratiske republikken Kongo. Mongo-høyttalere bor i det sentrale DR Kongo over et stort område inne i kurven til Kongo-elven. Mongo er et tonalspråk.
Zoombinis: Zoombinis er en serie pedagogiske puslespill-dataspill som opprinnelig ble utviklet av TERC og utgitt av Broderbund til The Learning Company kjøpte Broderbund i 1998 og overtok utviklingen og publiseringen av serien i 2001. Serien består av tre spill: Logical Journey of the Zoombinis (1996), Zoombinis: Mountain Rescue (2001), og Zoombinis: Island Odyssey (2002). Logical Journey ble oppdatert og gitt ut på nytt for nettbrett og moderne operativsystemer av TERC, FableVision og Learning Games Network i august 2015. Serien fokuserer på Zoombinis, små blå skapninger hver med forskjellige utseende og personligheter, som spilleren må veilede gjennom rare puslespillfylte land.
Booligal: Booligal er en landsby i Riverina-området i det vestlige New South Wales (NSW), Australia. Det ligger på Cobb Highway, ved Lachlan-elven nord for Hay. Booligal er en del av Hay Shire lokale myndighetsområde.
Booligal: Booligal er en landsby i Riverina-området i det vestlige New South Wales (NSW), Australia. Det ligger på Cobb Highway, ved Lachlan-elven nord for Hay. Booligal er en del av Hay Shire lokale myndighetsområde.