Boolean equation

From HandWiki

This category corresponds roughly to MSC {{{id}}} {{{title}}}; see {{{id}}} at MathSciNet and {{{id}}} at zbMATH.

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)