Определить истинность формулы