Логические формулы и функции