What does a 'logical AND' in an analog signalflow mean?
The K1 and K2 are comparators. You can think of them either returning a 0 when the negative input has a greater voltage than the positive one, and 1 in the opposite case.

This kind of notation is also pretty common in DC-DC converter chip datasheets as well. :)