лаба 1.1 (553872), страница 2
Текст из файла (страница 2)
Логическая функция F9 – Полунин В.Ю.
Рассмотренной выше форма задания ФАЛ в виде табл. 1.1 по существу эквивалентна разбиению множества всех наборов входных пятизначных слов Т на два непересекающихся подмножества: Т0 – наборы, на которых рассматриваемая ФАЛ принимает значение 0, и Т1 – наборы, на которых она принимает значение 1; Т = T0T1, Т0Т1= . Для функции y=f(x1,x2,x3,x4,x5), заданной в табл. 1.1,
|
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
|
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| Т0: | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
|
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
|
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| № набора | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 10 | 11 | 12 | 13 | 14 | 15 |
|
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
|
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| Т1: | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
|
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
|
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| № набора | 8 | 9 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
Проверка существенности (фиктивности) аргументов ФАЛ:
Все аргументы x1, x2,…, xn произвольной n-местной ФАЛ могут быть разделены на две группы: группу существенных аргументов и группу фиктивных аргументов. Аргумент xi функции f(x1,…, xi,…, xn) называется существенным, а функция существенно зависит от аргумента xi, если выполняется соотношение
(1.5)
в противном случае аргумент хi называется фиктивным, а функция f фиктивно зависит(по существу – не зависит) от аргумента хi.
Алгоритм проверки существенности (фиктивности) аргумента конкретной ФАЛ f(x1,…, xi,…,xn) предусматривает проверку возможности отделения множества Т0 от множества Т1 без помощи i-го символа в наборах и заключается в следующем:
-
n-разрядные наборы, образующие множества Т0 и Т1, выписываются в виде двух столбцов
-
Из всех n-разрядных наборов множеств Т0 и Т1 исключается i-й символ.
-
Анализируются полученные множества (n–1)-разрядных наборов T
![]()
Т![]()
; если в этих множествах возникли одинаковые наборы, то это значит, что разделить исходные множества Т0 и Т1 без помощи i-го символа в наборах нельзя, и, следовательно, аргумент хi является существенным, в противном случае хi–фиктивный аргумент.
Первый аргумент:
| - | - | - | - | - | - | - | - | - | - | - | - | - | - | |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | |
| T0 = | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | |
| Т1 = | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
Аргумент Х1 существенный.
Второй аргумент:
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| - | - | - | - | - | - | - | - | - | - | - | - | - | - | |
| T0 = | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
