Лекции по дискретной математике. Математическая логика. Зарипова Э.Р - 30 стр.

UptoLike

30
которые не покрывают ни одну элементарную конъюнкцию, не
покрытую элементами ядра.
В первом случае из множества импликантов, не входящих в
ядро, требуется выбрать такие, которые покрывают оставшиеся
непокрытыми элементарной конъюнкции. Во втором случае
импликант является лишним.
Пример 7.1.
(Пусть получили следующие импликанты)
0000
0100
1000
0011
0101
0110
1010
1011
0111
01--
×
×
×
×
0-00
×
×
-000
×
×
101-
×
×
-011
×
×
0-11
×
×
Выделив ядро, и определив все элементарные конъюнкции,
покрываемые им, придем к следующей таблице.
0011
0-00
-011
×
0-11
×
Элементарная конъюнкция 0011 покрывается любым из
импликантов –011 и 0-11. 0-00 - лишний импликант.
Следовательно, получаем два неизбыточных выражения
(, ,,) ,
f
x y z t xy yzt xyz yzt=∨