Difference between revisions of "Boolean function"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 3: | Line 3: | ||
A function whose arguments, as well as the function itself, assume values from a two-element set (usually <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169401.png" />). Boolean functions are one of the main subjects of discrete mathematics, in particular, of mathematical logic and mathematical cybernetics. Boolean functions first occurred in the mathematical formulation of logical problems, and were named after G. Boole, who laid the foundation for the applications of mathematics in logic in the middle of the 19th century; cf. [[Algebra of logic|Algebra of logic]]. | A function whose arguments, as well as the function itself, assume values from a two-element set (usually <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169401.png" />). Boolean functions are one of the main subjects of discrete mathematics, in particular, of mathematical logic and mathematical cybernetics. Boolean functions first occurred in the mathematical formulation of logical problems, and were named after G. Boole, who laid the foundation for the applications of mathematics in logic in the middle of the 19th century; cf. [[Algebra of logic|Algebra of logic]]. | ||
− | One such problem is the construction of an algebra of propositions. To this purpose, one of the two values 0 ( "false" ) or 1 ( "true" ) is assigned to each proposition; the principal logical relations | + | One such problem is the construction of an algebra of propositions. To this purpose, one of the two values 0 ( "false" ) or 1 ( "true" ) is assigned to each proposition; the principal logical relations "and" , "or" , "not" , "if … then" , etc., can then be regarded as the respective "elementary" Boolean functions: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169402.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169403.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169404.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169405.png" />, etc. When this is done, the value of any complex proposition, constructed with the aid of the fundamental logical connectives from given propositions, is a Boolean function of the values of these propositions. Such a Boolean function is a composition of elementary Boolean functions corresponding to the logical connectives forming part of the complex proposition. It became clear later that the language of Boolean functions is suited for a description of the operation of discrete control systems (cf. [[Control system|Control system]]) such as contact schemes, diagrams of functional elements, logical networks, switching networks, etc. These control systems are constructed in accordance with certain rules from a number of initial elements, just as complex statements are constructed from simple ones. The rules governing the construction of such control systems as well as the operation of the initial elements are such that the operation of complex control systems can be described with the aid of Boolean functions. Boolean functions are also used in certain problems of integer programming that reduce to solving a system of Boolean equations of the form |
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169406.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169406.png" /></td> </tr></table> | ||
Line 9: | Line 9: | ||
where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169407.png" />, are Boolean functions. There are also other ways of using Boolean functions in discrete mathematics, so that the study of Boolean functions is of interest in its own right. | where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169407.png" />, are Boolean functions. There are also other ways of using Boolean functions in discrete mathematics, so that the study of Boolean functions is of interest in its own right. | ||
− | An essential feature in solving problems related to Boolean functions is the method of specifying Boolean functions. There are several such methods: tables, formulas, special classes of formulas known as normal forms (cf. [[Boolean functions, normal forms of|Boolean functions, normal forms of]]), subsets of the vertices of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169408.png" />-dimensional unit cube, etc. In the last-named case every selection of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169409.png" /> of values of the arguments (0 or 1) is regarded as a vertex of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b01694010.png" />-dimensional unit cube, in which case a Boolean function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b01694011.png" /> arguments can be defined by the subset of the corners at which it assumes the value | + | An essential feature in solving problems related to Boolean functions is the method of specifying Boolean functions. There are several such methods: tables, formulas, special classes of formulas known as normal forms (cf. [[Boolean functions, normal forms of|Boolean functions, normal forms of]]), subsets of the vertices of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169408.png" />-dimensional unit cube, etc. In the last-named case every selection of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b0169409.png" /> of values of the arguments (0 or 1) is regarded as a vertex of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b01694010.png" />-dimensional unit cube, in which case a Boolean function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b01694011.png" /> arguments can be defined by the subset of the corners at which it assumes the value "1" . This subset, when written out as a matrix whose rows are selections of values of the arguments of the Boolean function, is known as a Boolean matrix. If a Boolean function describes the operation of control systems, the latter can also be regarded as a method of specifying the Boolean function. One usually says that this control system realizes the given Boolean function. The realization of Boolean functions by many kinds of control systems is closely related to a large number of problems, such as synthesis, minimization, control and reliability problems, etc. Another type of problem arises in the study of properties and classes of Boolean functions specified by different methods; this is the study of the metric characterizations of various classes of normal forms of Boolean functions and the related geometrical properties of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016940/b01694012.png" />-dimensional unit cube (cf. [[Boolean functions, metric theory of|Boolean functions, metric theory of]]), as well as of the various algebras of Boolean functions (cf. [[Many-valued logic|Many-valued logic]]; [[Equivalent transformations|Equivalent transformations]]). The system of all classes of Boolean functions that are closed under composition was described by E. Post. It forms a countably-infinite lattice with five maximal (pre-complete) classes. |
In certain cases it may be necessary to consider partial (i.e. not everywhere-defined) Boolean functions for which the problems listed have a specific character. | In certain cases it may be necessary to consider partial (i.e. not everywhere-defined) Boolean functions for which the problems listed have a specific character. | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> P.S. Novikov, "Elements of mathematical logic" , Oliver & Boyd and Acad. Press (1964) (Translated from Russian) {{MR|0164868}} {{ZBL|0113.00301}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S.V. Yablonskii, G.P. Gavrilov, V.B. Kudryavtsev, "Functions of the algebra of logic and Post classes" , Moscow (1964) (In Russian)</TD></TR></table> |
Line 22: | Line 22: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> P.L. Hammer, S. Rudeanu, "Boolean methods in operations research" , Springer (1968) {{MR|0235830}} {{ZBL|0155.28001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> S. Rudeanu, "Boolean functions and equations" , North-Holland (1974) {{MR|0484821}} {{ZBL|0321.06013}} </TD></TR></table> |
Revision as of 16:55, 15 April 2012
function of the algebra of logic
A function whose arguments, as well as the function itself, assume values from a two-element set (usually ). Boolean functions are one of the main subjects of discrete mathematics, in particular, of mathematical logic and mathematical cybernetics. Boolean functions first occurred in the mathematical formulation of logical problems, and were named after G. Boole, who laid the foundation for the applications of mathematics in logic in the middle of the 19th century; cf. Algebra of logic.
One such problem is the construction of an algebra of propositions. To this purpose, one of the two values 0 ( "false" ) or 1 ( "true" ) is assigned to each proposition; the principal logical relations "and" , "or" , "not" , "if … then" , etc., can then be regarded as the respective "elementary" Boolean functions: ,
,
,
, etc. When this is done, the value of any complex proposition, constructed with the aid of the fundamental logical connectives from given propositions, is a Boolean function of the values of these propositions. Such a Boolean function is a composition of elementary Boolean functions corresponding to the logical connectives forming part of the complex proposition. It became clear later that the language of Boolean functions is suited for a description of the operation of discrete control systems (cf. Control system) such as contact schemes, diagrams of functional elements, logical networks, switching networks, etc. These control systems are constructed in accordance with certain rules from a number of initial elements, just as complex statements are constructed from simple ones. The rules governing the construction of such control systems as well as the operation of the initial elements are such that the operation of complex control systems can be described with the aid of Boolean functions. Boolean functions are also used in certain problems of integer programming that reduce to solving a system of Boolean equations of the form
![]() |
where the , are Boolean functions. There are also other ways of using Boolean functions in discrete mathematics, so that the study of Boolean functions is of interest in its own right.
An essential feature in solving problems related to Boolean functions is the method of specifying Boolean functions. There are several such methods: tables, formulas, special classes of formulas known as normal forms (cf. Boolean functions, normal forms of), subsets of the vertices of an -dimensional unit cube, etc. In the last-named case every selection of length
of values of the arguments (0 or 1) is regarded as a vertex of the
-dimensional unit cube, in which case a Boolean function of
arguments can be defined by the subset of the corners at which it assumes the value "1" . This subset, when written out as a matrix whose rows are selections of values of the arguments of the Boolean function, is known as a Boolean matrix. If a Boolean function describes the operation of control systems, the latter can also be regarded as a method of specifying the Boolean function. One usually says that this control system realizes the given Boolean function. The realization of Boolean functions by many kinds of control systems is closely related to a large number of problems, such as synthesis, minimization, control and reliability problems, etc. Another type of problem arises in the study of properties and classes of Boolean functions specified by different methods; this is the study of the metric characterizations of various classes of normal forms of Boolean functions and the related geometrical properties of the
-dimensional unit cube (cf. Boolean functions, metric theory of), as well as of the various algebras of Boolean functions (cf. Many-valued logic; Equivalent transformations). The system of all classes of Boolean functions that are closed under composition was described by E. Post. It forms a countably-infinite lattice with five maximal (pre-complete) classes.
In certain cases it may be necessary to consider partial (i.e. not everywhere-defined) Boolean functions for which the problems listed have a specific character.
References
[1] | P.S. Novikov, "Elements of mathematical logic" , Oliver & Boyd and Acad. Press (1964) (Translated from Russian) MR0164868 Zbl 0113.00301 |
[2] | S.V. Yablonskii, G.P. Gavrilov, V.B. Kudryavtsev, "Functions of the algebra of logic and Post classes" , Moscow (1964) (In Russian) |
Comments
Cf. [a2] for uses of Boolean functions and equations in switching theory and logical networks. Applications of Boolean functions and equations in operations research are discussed in [a1].
References
[a1] | P.L. Hammer, S. Rudeanu, "Boolean methods in operations research" , Springer (1968) MR0235830 Zbl 0155.28001 |
[a2] | S. Rudeanu, "Boolean functions and equations" , North-Holland (1974) MR0484821 Zbl 0321.06013 |
Boolean function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boolean_function&oldid=14113