Что вы тут базар развели, я уже всё протестировал давно. NOT надо писать (большими буквами), а не not. Всё работает, даже пример выкладывал.
UprZam :=(Kn AND Dv AND NOT UF AND NOT Zam) ;
После уже автомат состояний написал на IF ... THEN, тоже работает.
