Модификация логических алгоритмов и программ

Рассматриваются способы внесения изменений в программу, вычисляющую систему булевых функций. Вводится понятие меры близости булевых формул и реализующих их программ. Изучается соответствие меры близости различных типов программ мере близости вычисляемых ими булевых формул.