сравнение двух днф

[Zln]

ДНФ представлены в виде троичных матриц, строки кодируются следующим образом: при xi='1' xn=1,\xn=0; при хi='0' xn=0,\xn=1; при хi='0' хn=0,\xn=0;
пример кодирования строки t=(1-01)-->10000110; как я понял эта строка должна соответствовать конъюнкции днф x1\x3x4. Возникла проблема с составлением алгоритма сравнения днф,пожалуйста подскажите как лучше это сделать.