Написать программу для минимизации логической функции

[09_mmd]

Доброго времени суток
Работаю над курсовой. Задание минимизировать лог.функцию аналитическим методом и методом карт Карно. - выполнено. Возникла проблема с заданием написать программу, которая это выполнит.
Прошу, для кого это не составит трудностей, написать программу на Паскале для минимизации след. функции:

X1¬X2X3 v X1X2¬X3 v X1X2 v ¬X3



(сама минимизация)
X1¬X2X3 v X1X2¬X3 v X1X2 v ¬X3
X1¬X2X3 v X1X2 v ¬X3
X1X2 v X1X3 v ¬X3
¬X3 v X1