Implicit

In Boolean algebra and in the design of switching networks is a Implicant a Boolean function a Boolean term, which is always true if is true. ${\displaystyle m}$ ${\displaystyle f}$ ${\displaystyle f}$ ${\displaystyle m}$

definition

Be a boolean function. ${\displaystyle f\colon \{0,1\}^{n}\rightarrow \{0,1\},\,(x_{1},\dotsc ,x_{n})\mapsto f(x_{1},\dotsc ,x_{n})}$

A Boolean term is called implicant if and only if holds ${\displaystyle m}$ ${\displaystyle f}$

${\displaystyle \forall a\in \{0,1\}^{n}:m(a)\leq f(a)}$.

Web links

• Implicant (Lexicon of Mathematics - Spectrum of Science)