Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants

Virendra Sule

This paper addresses the computational problem of deciding invertibility (or one to one-ness) of a Boolean map $F$ in $n$-Boolean variables. This problem is a special case of decid…