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