По-моему у Вас блок "закрытие" не соединён с блоками логических формул, хотя в формуле задействован..