Так это и есть логическая формула. Я просто ее назвал "Условие:..." .