Форум PHP

Здравствуйте, ув. Гуру.

Хотел поинтересоваться возможно ли на PHP реализовать метод Нельсона для вывода сокращённой ДНФ:

1. раскрываем все скобки по правилу дистрибутивности (d1 v d2)d3 = d1d2 v d2d3
2. сокращение:
2.1 xx = x
2.2 x(!x) = 0 ; !x - это отрицание x
2.3 K1 v K1K2 = K1

Если это реально, то с чего надо начинать? или может будет легче написать это на каком-то другом языке программирования? Просто слабо представляю как это реализовывать....