Построение дизъюнктивных нормальных форм квазибулевских функций k-значной логикитезисы доклада