Defined Operation Question
What is this notation supposed to represent?


It's a new notation created for this problem. They're using → as an arbitrarily chosen new symbol for a new operation that isn't one of the well known operations like AND or NOR.


  What is it called?


It doesn't have a special name. It's just a shorthand for a new operation that was invented by whoever wrote the problem.