Namespaces
Variants
Actions

Difference between revisions of "Boolean equation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (label)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
{{TEX|done}}{{MSC|06E}}
 +
 
An equation of the form
 
An equation 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/b016930/b0169301.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
$$f(x_1,\ldots,x_n)=0,\label{*}\tag{*}$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016930/b0169302.png" /> is a [[Boolean function|Boolean function]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016930/b0169303.png" /> variables. The set of all solutions of an equation of the form (*) can be described by a system of Boolean functions depending on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016930/b0169304.png" /> arbitrary parameters.
+
where $f$ is a [[Boolean function|Boolean function]] in $n$ variables. The set of all solutions of an equation of the form \eqref{*} can be described by a system of Boolean functions depending on $n$ arbitrary parameters.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Birkhoff,  "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc.  (1973)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Birkhoff,  "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc.  (1973)</TD></TR></table>

Latest revision as of 15:05, 14 February 2020

2020 Mathematics Subject Classification: Primary: 06E [MSN][ZBL]

An equation of the form

$$f(x_1,\ldots,x_n)=0,\label{*}\tag{*}$$

where $f$ is a Boolean function in $n$ variables. The set of all solutions of an equation of the form \eqref{*} can be described by a system of Boolean functions depending on $n$ arbitrary parameters.

References

[1] G. Birkhoff, "Lattice theory" , Colloq. Publ. , 25 , Amer. Math. Soc. (1973)
How to Cite This Entry:
Boolean equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boolean_equation&oldid=12362
This article was adapted from an original article by T.S. Fofanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article