logic circuit a AND (NOT b or c) OR c