Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание»