|
|
| Line 1: |
Line 1: |
| {{mergeto|Boolean algebra (structure)|discuss=Wikipedia_talk:BATF#Two-element_Boolean_algebra|date=April 2011}}
| | Hello, my title is Andrew and my spouse doesn't like it at all. Kentucky is exactly where I've usually been living. Invoicing is what I do for a living but I've always needed my personal business. She is truly fond of caving but she doesn't have the time recently.<br><br>Feel free to visit my web-site ... clairvoyants ([http://isaworld.pe.kr/?document_srl=392088 please click the next webpage]) |
| In [[mathematics]] and [[abstract algebra]], the '''two-element Boolean algebra''' is the [[Boolean algebra (structure)| Boolean algebra]] whose ''underlying set'' (or [[Universe_(mathematics)|universe]] or ''carrier'') ''B'' is the [[Boolean domain]]. The elements of the Boolean domain are 1 and 0 by convention, so that ''B'' = {0, 1}. [[Paul Halmos]]'s name for this algebra "'''2'''" has some following in the literature, and will be employed here.
| |
| | |
| ==Definition==
| |
| ''B'' is a [[partial order|partially ordered set]] and the elements of ''B'' are also its [[bounded set|bounds]].
| |
| | |
| An [[operation (mathematics)|operation]] of [[arity]] ''n'' is a [[map (mathematics)|mapping]] from ''B''<sup>n</sup> to ''B''. Boolean algebra consists of two [[binary operation]]s and [[unary operation|unary]] [[Complement (order theory)|complementation]]. The binary operations have been named and notated in various ways. Here they are called 'sum' and 'product', and notated by infix '+' and '.', respectively. Sum and product [[commutativity|commute]] and [[associativity|associate]], as in the usual [[elementary algebra|algebra of real numbers]]. As for the [[order of operations]], brackets are decisive if present. Otherwise '.' precedes '+'. Hence ''A.B + C'' is parsed as ''(A.B) + C'' and not as ''A.(B + C)''. [[Boolean algebra (logic)|Complementation]] is denoted by writing an overbar over its argument. The numerical analog of the complement of ''X'' is 1 − ''X''. In the language of [[universal algebra]], a Boolean algebra is a <math>\langle B,+,.,\overline{..},1,0\rangle</math> [[algebraic structure|algebra]] of [[arity|type]] <math>\langle 2,2,1,0,0\rangle</math>.
| |
| | |
| Either [[one-to-one correspondence]] between {0,1} and {''True'',''False''} yields classical [[bivalent logic]] in equational form, with complementation read as [[logical NOT|NOT]]. If 1 is read as ''True'', '+' is read as [[logical OR|OR]], and '.' as [[logical AND|AND]], and vice versa if 1 is read as ''False''.
| |
| | |
| ==Some basic identities==
| |
| '''2''' can be seen as grounded in the following trivial "Boolean" arithmetic:
| |
| * 1+1 = 1+0 = 0+1 = 1
| |
| * 0.0 = 0.1 = 1.0 = 0
| |
| * 1.1 = 1
| |
| * 0+0 = 0
| |
| * <math>\overline{1} = 0</math>
| |
| * <math>\overline{0} = 1.</math>
| |
| | |
| Note that:
| |
| * '+' and '.' work exactly as in numerical arithmetic, except that 1+1=1.'+' and '.' are derived by analogy from numerical arithmetic; simply set any nonzero number to 1.
| |
| * Swapping 0 and 1, and '+' and '.' preserves truth; this is the essence of the [[Duality (order theory)|duality]] pervading all Boolean algebras.
| |
| This Boolean arithmetic suffices to verify any equation of '''2''', including the axioms, by examining every possible assignment of 0s and 1s to each variable (see [[decision procedure]]).
| |
| | |
| The following equations may now be verified:
| |
| * <math> A+A=A</math>
| |
| * <math> A.A=A</math>
| |
| * <math> A+0=A</math>
| |
| * <math> A+1=1</math>
| |
| * <math> A.0=0</math>
| |
| * <math>\overline{\overline{A}}=A.</math>
| |
| | |
| Each of '+' and '.' [[distributivity|distributes]] over the other:
| |
| *<math>\ A.(B+C) = A.B + A.C;</math>
| |
| *<math>\ A+(B.C) = (A+B).(A+C).</math>
| |
| That '.' distributes over '+' agrees with [[elementary algebra]], but not '+' over '.'. For this and other reasons, a sum of products (leading to a [[Sheffer stroke|NAND]] synthesis) is more commonly employed than a product of sums (leading to a [[Logical NOR|NOR]] synthesis).
| |
| | |
| Each of '+' and '.' can be defined in terms of the other and complementation:
| |
| * <math>A.B=\overline{\overline{A}+\overline{B}}</math>
| |
| * <math>A+B=\overline{\overline{A}.\overline{B}}.</math>
| |
| We only need one binary operation, and [[concatenation]] suffices to denote it. Hence concatenation and overbar suffice to notate '''2'''. This notation is also that of [[Willard Van Orman Quine|Quine]]'s [[Boolean term schemata]]. Letting (''X'') denote the complement of ''X'' and "()" denote either 0 or 1 yields the [[syntax]] of the [[laws of form|primary algebra]].
| |
| | |
| A ''basis'' for '''2''' is a set of equations, called [[axiom]]s, from which all of the above equations (and more) can be derived. There are many known bases for all Boolean algebras and hence for '''2'''. An elegant basis notated using only concatenation and overbar is:
| |
| # <math>\ ABC = BCA</math> (Concatenation commutes, associates)
| |
| # <math>\overline{A}A = 1</math> ('''2''' is a [[Complement (order theory)|complemented]] lattice, with an [[bounded set|upper bound]] of 1)
| |
| #<math>\ A0 = A</math> (0 is the [[bounded set|lower bound]]).
| |
| # <math>A\overline{AB} = A\overline{B}</math> ('''2''' is a [[distributive lattice]])
| |
| | |
| If 0=1, (1)-(3) are the axioms for an [[abelian group]].
| |
| | |
| (1) only serves to prove that concatenation commutes and associates. First assume that (1) associates from either the left or the right, then prove commutativity. Then prove association from the other direction. Associativity is simply association from the left and right combined.
| |
| | |
| This basis makes for an easy approach to proof, called [[Laws of Form|calculation]], that proceeds by simplifying expressions to 0 or 1, by invoking axioms (2)–(4), and the elementary identities <math>AA=A, \overline{\overline{A}}=A, 1+A = 1</math>, and the distributive law.
| |
| | |
| ==Metatheory==
| |
| [[De Morgan's theorem]] states that if one does the following, in the given order, to any [[Boolean function]]:
| |
| * Complement every variable;
| |
| * Swap + and . operators (taking care to add brackets to ensure the order of operations remains the same);
| |
| * Complement the result,
| |
| the result is [[Logical equivalence|logically equivalent]] to what you started with. Repeated application of De Morgan's theorem to parts of a function can be used to drive all complements down to the individual variables.
| |
| | |
| A powerful and nontrivial [[metatheorem]] states that any theorem of '''2''' holds for all Boolean algebras.<ref>Givant, S., and Halmos, P. (2009) [http://dx.doi.org/10.1007/978-0-387-68436-9 ''Introduction to Boolean Algebras''], Springer Verlag. Theorem 9.</ref> Conversely, an identity that holds for an arbitrary nontrivial Boolean algebra also holds in '''2'''. Hence all the mathematical content of Boolean algebra is captured by '''2'''. This theorem is useful because any equation in '''2''' can be verified by a [[decision procedure]]. Logicians refer to this fact as "'''2''' is [[decidability (logic)|decidable]]". All known [[decision procedure]]s require a number of steps that is an [[exponential function]] of the number of variables ''N'' appearing in the equation to be verified. Whether there exists a decision procedure whose steps are a [[polynomial function]] of ''N'' falls under the [[P = NP]] conjecture.
| |
| <!--==Minterms and minimum two level forms==
| |
| Any Boolean expression can be written as a series of [[minterm]]s added together-->
| |
| | |
| ==Footnotes==
| |
| {{Reflist}}
| |
| ==See also==
| |
| * [[:simple:Boolean algebra|Boolean algebra]] (Simple English Wikipedia)
| |
| *[[Boolean algebra]]
| |
| *[[Bounded set]]
| |
| *[[Lattice (order)]]
| |
| *[[Order theory]]
| |
| | |
| ==References==
| |
| Many elementary texts on Boolean algebra were published in the early years of the computer era. Perhaps the best of the lot, and one still in print, is:
| |
| * Mendelson, Elliot, 1970. ''Schaum's Outline of Boolean Algebra''. McGraw–Hill.
| |
| | |
| The following items reveal how the two-element Boolean algebra is mathematically nontrivial.
| |
| * [[Stanford Encyclopedia of Philosophy]]: "[http://plato.stanford.edu/entries/boolalg-math/ The Mathematics of Boolean Algebra,]" by J. Donald Monk.
| |
| * Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. ''[http://www.thoralf.uwaterloo.ca/htdocs/ualg.html A Course in Universal Algebra.]'' Springer-Verlag. ISBN 3-540-90578-2.
| |
| | |
| [[Category:Elementary algebra]]
| |
| [[Category:Boolean algebra]]
| |
Hello, my title is Andrew and my spouse doesn't like it at all. Kentucky is exactly where I've usually been living. Invoicing is what I do for a living but I've always needed my personal business. She is truly fond of caving but she doesn't have the time recently.
Feel free to visit my web-site ... clairvoyants (please click the next webpage)