boolean digital logic - Search