Эффективность метода. Для того чтобы ПФ, построенная при помощи <strong>из</strong>ложенного метода, содержаламеньшее число переменных по сравнению с их числом, получаемым при объединении в ПФ самихфункций, необходимо выполнение неравенства8" < *'. (3-26)(3-27)Подставляя в (3-26) значения g' и g", получимРешение этого неравенства имеет следующий вид:M ° BlJVI . (3-28)Полученная оценка для числа подфрагментов может быть в ряде случаев улучшена. Для этогоопределим, какое число различных подфрагментов длиной 2 п ~ 1 содержится во всех булевых функцияхп переменных. Значение этой величиныГш.х = 2 2Я - 1 . (3-29)На основе объединения полученных соотношений можно утверждать, что число различных фрагментовг должно удовлетворять неравенствуr Pç ÷δxδxè k ø è i ø(3-32)Введенный критерий предложен для разложения функций, принадлежащих классу про<strong>из</strong>вольныхфункций. Покажем, что выбор этого критерия является естественным. Пусть задана функция,принадлежащая классу пороговых. Про<strong>из</strong>ведем разложение этой функции по переменной,
обладающей наибольшим весом [7]. Для этого класса функций выбор переменной, по которой должновыполняться разложение, по любому <strong>из</strong> двух указанных критериев приводит обычно к одному и томуже результату. Если же некоторая функция является симметричной по переменным xkи xi, торазложение может выполняться по любой <strong>из</strong> этих переменных.Если задано несколько булевых функций, каждая <strong>из</strong> которых зависит от п переменных, то ихпервоначально необходимо переобозначить так, чтобы при разложении по какой-либо однойпеременной общее число различных фрагментов было минимальным. Для достижения этоговоспользуемся следующей процедурой: а) в каждой <strong>из</strong> заданных формул определяем веса про<strong>из</strong>водныхпо всем переменным; б) про<strong>из</strong>водим переобозначение переменных в каждой формуле так, чтопеременная с большим весом про<strong>из</strong>водной будет иметь и больший порядковый номер; в) раскладываемвсе заданные формулы по переменной с наибольшим порядковым номером.Использование этой процедуры, как правило, позволяет уменьшить число различных подфрагментов всистеме заданных функций по сравнению с разложением в соответствии с исходной нумерациейпеременных, хотя это положение и не удается доказать.Пример. Пусть заданы функции f1 = vvv1 2 3, f2 = v1( v2Ú v3), f3 = vv1 3Ú v2, f4 = v1Úv2 Ú v3. Определимнумерацию переменных, при котором число различных подфрагментов будет минимальным. Составимтаблицу истинности для заданных функций (табл. 3-6).Таблица 3-6Таблица истинности функций f1¸f4v3v2v 1 1f2f3f4v3v2v 1 1f2f3f400000011010100000001001101111111001101010001010101111111Таким образом, заданный набор функций содержит шесть различных подфрагментов: ϕ1= 0000 ;ϕ2= 0001; ϕ3= 0011 ; ϕ4= 0101; ϕ5= 0111, ϕ6= 1111. Попытаемся уменьшить значение r путемпереобозначения переменных. Функции f и 1f4симметричны по всем переменным; в f2наибольшимвесом про<strong>из</strong>водной обладает переменная v1, а в f3— переменная v2. Поэтому переобозначимпеременные следующим образом: f1 = xxx1 2 3, f2 = ( x1Ú x2)x3, f3 = xx1 2Ú x3, f4 = x1Úx2 Ú x3.Из таблицы истинности этих функций (табл. 3-7) следует, что число различных подфрагментовпосле переобозначения при разложении по переменной x3равно четырем: ϕ1= 0000 ;ϕ2= 0001; ϕ3= 0111 ; ϕ4= 1111.Таблица 3-7Миним<strong>из</strong>ация числа подфрагментовx3x2x f 1 1f2f3f4x3x2x f 1 1f2f3f40 0 0 0 0 0 0 1 0 0 0 0 1 10 0 1 0 0 0 1 1 0 1 0 1 1 10 1 0 0 0 0 1 1 1 0 0 1 1 10 1 1 0 0 1 1 1 1 1 1 1 1 1Таким образом, использование предложенной процедуры позволило уменьшить число различныхподфрагментов и тем самым сократить число входов модуля.Миним<strong>из</strong>ация элементной сложности модуля. Эта задача сводится к задаче упрощения ПФ,зависящей от фиксированного числа переменных, и, в частности, к миним<strong>из</strong>ации числа букв в ней.Так как ПФ при большом числе подфрагментов в объединяемых функциях зависит от сравнительнобольшого числа переменных, то нахождение формулы, минимальной по числу букв, дляпредставления ПФ в аналитическом виде с помощью классического аппарата миним<strong>из</strong>ации являетсячрезвычайно громоздким и трудоемким. При некоторых условиях, которые будут определены ниже,удается упростить процесс миним<strong>из</strong>ации. Запишем ПФ модуля в следующем виде: