Да, есть, ищите поиском, там целая ветка по логическим формулам и просто формулам. В этом же разделе
_________________________
Помогу с реализацией вашей идеи, оценкой системы. Консультации
frendwork@rambler.ru