В материале [https://dzen.ru/a/YzgeT9bh0iKLgVYv?share_to=link] представлен алгоритм минимизации булевой функции в классе нормальных форм, при этом дизъюнкция простых импликантов представляет собой сокращённую дизъюнктивную нормальную форму, в текущем материале покажем, как определять простые импликанты для произвольной булевой функции. Напомним несколько определений: Определение. Булеву функцию G назовем импликантом буле­вой функции F, если для любых наборов значений аргументов этих функций из равенства G = 1 следует равенство F = 1...

В лекции [https://zen.yandex.ru/media/id/603a418d1684900aa2499416/teoriia-mnojestv-binarnye-otnosheniia-623a80b75ad1380b5eed16c8] были рассмотрены основные понятия, связанные с бинарными отношениями. В этой лекции сформулируем основные понятия, которые связаны со специальными бинарными отношениями, обладающими определённым свойством. Это свойство заключается в том, что каждый элемент из первого множества декартового (прямого) произведения, на котором задано это бинарное отношение, связано с единственным элементом из второго множества декартового (прямого) произведения...