Сумматор по модулю пять, страница 2

Составление таблицы истинности


Использовать замену симметричных переменных с использованием пороговых равновесных функций

Произведём замену симметричных переменных с помощью элементарных симметричных функций:

и

где,  и

Значения ,  являются запрещёнными.

Входные операнды

Преобразованные операнды

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

***

***

***

***

***

***

***


Анализ целесообразности совместной реализации системы функций

Для анализа целесообразности совместной реализации системы ФАЛ  где , сформируем следующую систему характеристических подмножеств, позволяющих оценить связность функций:

:

Так как по условиям функционирования все функции  не определены на одних и тех же наборах, то, а подмножества  одинаковы. Таблица связности функций :