во! поищи, точно помню - были, токо для РТшек помнится вроде в виде логических формул они были