В работе доказано, что любое тупиковое доопределение частичной булевой функции с класса (n, 1, k) имеет нулевую область неопределенности. Выделенные условия, при которых доопределении функции с класса (n, 1, k) является однозначным.
У роботі доведено, що будь-яке тупикове довизначення часткової булевої функції з класу (n, 1, k) має нульову область невизначеності. Виділені умови, при яких довизначення функції з класу (n, 1, k) є однозначним.
The paper is devoted to evaluation of general-purpose XML querying tools in respect to linguistic corpora. A specialized pattern-based query language is suggested and implemented in XCorp software.