Произведём замену симметричных переменных с помощью элементарных симметричных функций:
и
где, и
Значения ,
являются запрещёнными.
Входные операнды |
Преобразованные операнды |
Y |
||
X1 |
X2 |
Z1 |
Z2 |
|
000 000 000 000 000 001 001 001 001 001 010 010 010 010 010 011 011 011 011 011 100 100 100 100 100 |
000 001 010 011 100 000 001 010 011 100 000 001 010 011 100 000 001 010 011 100 000 001 010 011 100 |
000 001 010 011 100 001 001 011 011 101 010 011 010 011 110 011 011 011 011 111 100 101 110 111 100 |
000 000 000 000 000 000 001 000 001 000 000 000 010 010 000 000 001 010 011 000 000 000 000 000 100 |
000 001 010 011 100 001 010 011 100 000 010 011 100 000 001 011 100 000 001 010 100 000 001 010 011 |
Операнд Z1 (Z1,Z2,Z3) |
Операнд Z2 (Z4,Z5,Z6) |
|||||||
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 |
|
000 |
000 |
*** |
*** |
*** |
*** |
*** |
*** |
*** |
001 |
001 |
010 |
*** |
*** |
*** |
*** |
*** |
*** |
010 |
010 |
*** |
100 |
*** |
*** |
*** |
*** |
*** |
011 |
011 |
100 |
000 |
001 |
*** |
*** |
*** |
*** |
100 |
100 |
*** |
*** |
*** |
011 |
*** |
*** |
*** |
101 |
000 |
*** |
*** |
*** |
*** |
*** |
*** |
*** |
110 |
001 |
*** |
*** |
*** |
*** |
*** |
*** |
*** |
111 |
010 |
*** |
*** |
*** |
*** |
*** |
*** |
*** |
Для
анализа целесообразности совместной реализации системы ФАЛ
где
,
сформируем следующую систему характеристических подмножеств, позволяющих
оценить связность функций:
:
Так как по условиям
функционирования все функции не определены на одних
и тех же наборах, то
, а подмножества
одинаковы. Таблица связности функций
:
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.