А не мог бы ты таблицу истинности показать, а то не очень понятен алгоритм.