Логическая формула сокращенно логформула.