Boolean algebra
(After the logician George Boole)
1. Commonly, and especially in computer science and digital
electronics, this term is used to mean two-valued logic.
2. This is in stark contrast with the definition used by pure
mathematicians who in the 1960s introduced "Boolean-valued
models" into logic precisely because a "Boolean-valued
model" is an interpretation of a theory that allows more
than two possible truth values!
Strangely, a Boolean algebra (in the mathematical sense) is
not strictly an algebra, but is in fact a lattice. A
Boolean algebra is sometimes defined as a "complemented
distributive lattice".
Boole's work which inspired the mathematical definition
concerned algebras of sets, involving the operations of
intersection, union and complement on sets. Such algebras
obey the following identities where the operators ^, V, - and
constants 1 and 0 can be thought of either as set
intersection, union, complement, universal, empty; or as
two-valued logic AND, OR, NOT, TRUE, FALSE; or any other
conforming system.
a ^ b = b ^ a a V b = b V a (commutative laws)
(a ^ b) ^ c = a ^ (b ^ c)
(a V b) V c = a V (b V c) (associative laws)
a ^ (b V c) = (a ^ b) V (a ^ c)
a V (b ^ c) = (a V b) ^ (a V c) (distributive laws)
a ^ a = a a V a = a (idempotence laws)
--a = a
-(a ^ b) = (-a) V (-b)
-(a V b) = (-a) ^ (-b) (de Morgan's laws)
a ^ -a = 0 a V -a = 1
a ^ 1 = a a V 0 = a
a ^ 0 = 0 a V 1 = 1
-1 = 0 -0 = 1
There are several common alternative notations for the "-" or
logical complement operator.
If a and b are elements of a Boolean algebra, we define a <= b
to mean that a ^ b = a, or equivalently a V b = b. Thus, for
example, if ^, V and - denote set intersection, union and
complement then <= is the inclusive subset relation. The
relation <= is a partial ordering, though it is not
necessarily a linear ordering since some Boolean algebras
contain incomparable values.
Note that these laws only refer explicitly to the two
distinguished constants 1 and 0 (sometimes written as LaTeX
\top and \bot), and in two-valued logic there are no others,
but according to the more general mathematical definition, in
some systems variables a, b and c may take on other values as
well.
(1997-02-27)
|
Boolean algebra oBoolean algebra oBolean algebra BoBolean algebra oolean algebra BBoolean algebra Booolean algebra Bolean algebra Booolean algebra Boloean algebra Booloean algebra Bolean algebra Booolean algebra Booelan algebra Boolelan algebra Booean algebra Boollean algebra Boolaen algebra Booleaen algebra Boolan algebra Booleean algebra Boolena algebra Booleana algebra Boolen algebra Booleaan algebra Boolea nalgebra Boolean nalgebra Boolea algebra Booleann algebra Booleana lgebra Boolean a lgebra Booleanalgebra Boolean algebra Boolean lagebra Boolean alagebra Boolean lgebra Boolean aalgebra Boolean aglebra Boolean alglebra Boolean agebra Boolean allgebra Boolean alegbra Boolean algegbra Boolean alebra Boolean alggebra Boolean algbera Boolean algebera Boolean algbra Boolean algeebra Boolean algerba Boolean algebrba Boolean algera Boolean algebbra Boolean algebar Boolean algebrar Boolean algeba Boolean algebrra Boolean algebara Boolean algebr Boolean algebraa foolean algebra bfoolean algebra fboolean algebra goolean algebra bgoolean algebra gboolean algebra hoolean algebra bhoolean algebra hboolean algebra voolean algebra bvoolean algebra vboolean algebra noolean algebra bnoolean algebra nboolean algebra oolean algebra b oolean algebra boolean algebra B99lean algebra Bo99lean algebra B99olean algebra B((lean algebra Bo((lean algebra B((olean algebra B00lean algebra Bo00lean algebra B00olean algebra Biilean algebra Boiilean algebra Biiolean algebra Bpplean algebra Bopplean algebra Bppolean algebra Bkklean algebra Bokklean algebra Bkkolean algebra Blllean algebra Bolllean algebra Bllolean algebra Baalean algebra Beelean algebra Buulean algebra Booiean algebra Booliean algebra Booilean algebra Boooean algebra Booloean algebra Booolean algebra Boopean algebra Boolpean algebra Booplean algebra Bookean algebra Boolkean algebra Booklean algebra Boo,ean algebra Bool,ean algebra Boo,lean algebra Boo.ean algebra Bool.ean algebra Boo.lean algebra Bool3an algebra Boole3an algebra Bool3ean algebra Bool#an algebra Boole#an algebra Bool#ean algebra Bool4an algebra Boole4an algebra Bool4ean algebra Boolwan algebra Boolewan algebra Boolwean algebra Boolran algebra Booleran algebra Boolrean algebra Boolsan algebra Boolesan algebra Boolsean algebra Booldan algebra Booledan algebra Booldean algebra Boolfan algebra Boolefan algebra Boolfean algebra Boolaan algebra Boolian algebra Booloan algebra Booluan algebra Booleqn algebra Booleaqn algebra Booleqan algebra Boolewn algebra Booleawn algebra Boolewan algebra Boolesn algebra Booleasn algebra Boolesan algebra Boolexn algebra Booleaxn algebra Boolexan algebra Boolezn algebra Booleazn algebra Boolezan algebra Boole n algebra Boolea n algebra Boole an algebra Booleen algebra Boolein algebra Booleon algebra Booleun algebra Booleag algebra Booleang algebra Booleagn algebra Booleah algebra Booleanh algebra Booleahn algebra Booleaj algebra Booleanj algebra Booleajn algebra Booleab algebra Booleanb algebra Booleabn algebra Booleam algebra Booleanm algebra Booleamn algebra Boolea algebra Boolean algebra Boolea n algebra Boolean qlgebra Boolean aqlgebra Boolean qalgebra Boolean wlgebra Boolean awlgebra Boolean walgebra Boolean slgebra Boolean aslgebra Boolean salgebra Boolean xlgebra Boolean axlgebra Boolean xalgebra Boolean zlgebra Boolean azlgebra Boolean zalgebra Boolean lgebra Boolean a lgebra Boolean algebra Boolean elgebra Boolean ilgebra Boolean olgebra Boolean ulgebra Boolean aigebra Boolean aligebra Boolean ailgebra Boolean aogebra Boolean alogebra Boolean aolgebra Boolean apgebra Boolean alpgebra Boolean aplgebra Boolean akgebra Boolean alkgebra Boolean aklgebra Boolean a,gebra Boolean al,gebra Boolean a,lgebra Boolean a.gebra Boolean al.gebra Boolean a.lgebra Boolean alrebra Boolean algrebra Boolean alrgebra Boolean altebra Boolean algtebra Boolean altgebra Boolean alyebra Boolean algyebra Boolean alygebra Boolean alfebra Boolean algfebra Boolean alfgebra Boolean alhebra Boolean alghebra Boolean alhgebra Boolean alvebra Boolean algvebra Boolean alvgebra Boolean albebra Boolean algbebra Boolean albgebra Boolean alnebra Boolean algnebra Boolean alngebra Boolean al ebra Boolean alg ebra Boolean al gebra Boolean alg3bra Boolean alge3bra Boolean alg3ebra Boolean alg#bra Boolean alge#bra Boolean alg#ebra Boolean alg4bra Boolean alge4bra Boolean alg4ebra Boolean algwbra Boolean algewbra Boolean algwebra Boolean algrbra Boolean algerbra Boolean algrebra Boolean algsbra Boolean algesbra Boolean algsebra Boolean algdbra Boolean algedbra Boolean algdebra Boolean algfbra Boolean algefbra Boolean algfebra Boolean algabra Boolean algibra Boolean algobra Boolean algubra Boolean algefra Boolean algebfra Boolean algefbra Boolean algegra Boolean algebgra Boolean algegbra Boolean algehra Boolean algebhra Boolean algehbra Boolean algevra Boolean algebvra Boolean algevbra Boolean algenra Boolean algebnra Boolean algenbra Boolean alge ra Boolean algeb ra Boolean alge bra Boolean algeb4a Boolean algebr4a Boolean algeb4ra Boolean algeb$a Boolean algebr$a Boolean algeb$ra Boolean algeb5a Boolean algebr5a Boolean algeb5ra Boolean algebea Boolean algebrea Boolean algebera Boolean algebta Boolean algebrta Boolean algebtra Boolean algebda Boolean algebrda Boolean algebdra Boolean algebfa Boolean algebrfa Boolean algebfra Boolean algebga Boolean algebrga Boolean algebgra Boolean algebrq Boolean algebraq Boolean algebrqa Boolean algebrw Boolean algebraw Boolean algebrwa Boolean algebrs Boolean algebras Boolean algebrsa Boolean algebrx Boolean algebrax Boolean algebrxa Boolean algebrz Boolean algebraz Boolean algebrza Boolean algebr Boolean algebra Boolean algebr a Boolean algebre Boolean algebri Boolean algebro Boolean algebru Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |