что то я вас не понимаю, или вы не понимаете действие логического оператора And.
аb и с - булевы переменные и могут принимать только значения 0 и 1
соответтственно Exit - тоже булева переменная.