Произведём замену симметричных переменных с помощью элементарных симметричных функций:
и
где, и
Значения , являются запрещёнными.
Входные операнды |
Преобразованные операнды |
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).
Ссылка на скачивание - внизу страницы.