Минимизация булевых функций

[Nogin Anton]

Пытаюсь минимизировать БФ, используя метод Квайна-Мак'Класски. Подскажите, как нужно дальше делать..

$f(X)=\bar{x_1}\bar{x_2}\bar{x_3}x_4\vee \bar{x_1}\bar{x_2}x_3\bar{x_4}\vee x_1 x_2x_3 \bar{x_4}\vee \bar{x_1}x_2x_3x_4 \vee x_1\bar{x_2}\bar{x_3}\bar{x_4}\vee $

$\vee x_1\bar{x_2}\bar{x_3}x_4\vee x_1\bar{x_2}x_3\bar{x_4}$

Выделил минитермы:

1) $\bar{x_1}\bar{x_2}\bar{x_3}x_4$ - 0001
2) $\bar{x_1}\bar{x_2}x_3\bar{x_4}$ - 0010
3) $x_1x_2x_3\bar{x_4}$ - 1110
4) $\bar{x_1}x_2x_3x_4$ - 0111
5) $x_1\bar{x_2}\bar{x_3}\bar{x_4}$ - 1000
6) $x_1\bar{x_2}\bar{x_3}x_4$ - 1001
7) $x_1\bar{x_2}x_3\bar{x_4}$ - 1010

Объединяем минитермы в группы по количеству единиц:

1) 0001, 0010, 1000
2) 1001, 1010
3) 1110, 0111

Склеивание:

1) _001, 100_, 10_0
2) 1_10

Таблица:

[Nogin Anton]

Подскажите, что дальше нужно делать с таблицей??

-- Вт июн 21, 2011 21:29:29 --

Я не уверен, можно ли удалить пустые столбцы? Это повлияет на конечный результат??

[Nogin Anton]

Например, дана функция f(X)=x_1x_2\bar{x_3} \vee x_1x_2x_3\bar{x_4}

В первом терме пропущена переменная x_4, как это учитывается при составлении таблицы истинности?

[Tlalok]

Вы потеряли 2 простые импликаты
У Вас их в таблице 4, а должно быть 6.
По поводу таблицы: Пустых столбцов быть не должно.