Boolean cofactor ($f{|}_{x=b}$)

The Boolean function obtained by assigning a fixed Boolean value $b$ to a chosen Boolean variable $x$ in $f$. The original Boolean function satisfies $f=(\neg x\wedge f{|}_{x=0})\vee (x\wedge f{|}_{x=1})$.