boolean algebra digital logic - Search