Prime implicant
= Prime implicant
An <implicant> from which no <literal> can be removed while preserving the implication to the <Boolean function>. A <prime implicant> is essential when it covers a one-input assignment that no other <prime implicant> covers.