Задана некоторая булевая функция

, которая удовлетворяет условию

. Здесь мы считаем, что

тогда и только тогда, когда

.
Будем говорить, что функция

удовлетворяет Н-свойству, если

где

обозначает покомпонентную конъюнкцию.
Я искал в интернете, но я не нашёл, есть ли способ проверить это свойство, не используя прямой перебор?