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