Сравнение двух булевых функций

[allbuk]

Господа, подскажите, пожалуйста, решение следующей задачи (желательно на С++). Буду очень благодарен.

Сравнить две булевы функции, заданные дизъюнктивными нормальными формами (ДНФ). ДНФ представляется троичной матрицей. Предварительно построить булеву матрицу и привести ее к альфа-канонической форме.

Заранее спасибо.

[lordKelvin]

Пример входных данных.

[allbuk]

Короче говоря, есть две булевы функции, они представляются двумя троичными матрицами. Каждой троичной матрице строится по две соответствующие булевы матрицы. Вот эти булевы матрицы нужно привести к альфа-кононической форме и просто стравнить, равны ли они или нет.

Например,
2 0 0 2
1 0 2 0
0 2 0 0
2 0 1 2

и

1 2 0 1
0 0 1 2
2 0 1 0
1 1 2 0

[pavlinux]

1. Что такое альфа-каноническая форма матрицы?
2. Пусть даже она существует, то нафига делать преобразования булевых значений? Или они тоже линейно-зависимы?
3. Матрицы равны тогда и только тогда, когда попарно равны их элементы.