Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

31 если i-я переменная входит в конъюнкцию без отрицания, 0 – если с отрицанием и – , если не входит. Например, xyz xz xt   запишем в виде 111–  1–0–  1– –0. 4) Образуем из элементарных конъюнкций группы, включая в одну группу наборы с одинаковым числом единиц (группы, в которых число единиц отличается на 1, называются соседними); расположим группы в порядке возрастания числа единиц. Например, для функции ( , , , ) f x y z t xyzt xyzt xyzt xyzt xyzt xyzt xyzt        элементарные конъюнкции представляются как 1101, 1001, 1100, 1000, 0010, 0001, 0000, а список групп будет следующим: 0000 0001 0010 1000 1001 1100 1101 5) Равенство x x      может быть применимо только к подходящим парам наборов из соседних групп. Подходящая пара образуется двумя наборами, отличающимися в одной позиции, и в этой позиции не стоит черточка. Подходящие пары будем отмечать звездочками (*). 6) Ставим в различающейся позиции подходящей пары черточку и помещаем получившийся набор в следующий список групп. 7) Повторяем описанный процесс с шага 4, пока это возможно. Непомеченные наборы образуют простые импликанты.