Работа с булевыми функциями

Необходимо умножать булеву функцию, представленную в виде КНФ, на произведение двух переменных, так, чтобы ответ считался в общем виде, т.е. в переменных. Ума не приложу, как это сделать. Заранее спасибо.