Одним из основных элементов современного образовательного процесса в области технических наук является решение задач на преобразование символьных выражений. При решении таких задач учащимся требуется преобразовать исходное выражение так, чтобы оно удовлетворяло целевым критериям, например, являлось конъюнктивной нормальной формой или совпадало с требуемым целевым выражением. Для совершения преобразований над выражением или его подвыражениями учащийся может использовать уже изученные правила преобразования.