Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

КарКарФунСхемМнЖег (1)

.pdf
Скачиваний:
2
Добавлен:
01.04.2022
Размер:
458.8 Кб
Скачать

 

0

1

2

3

4

12

13

14

23

24

34

123

124

134

234

1234

 

 

 

0

1

2

3

4

12

13

14

23

24

34

123

124

134

234

1234

 

 

 

a a a a a a a a a a a

a a a a a

 

 

 

a a a a a a a a a a a a a a a a

 

 

 

1 0 0 0 0 0 0 0 0 0 0

0

0

0

0

0 1

1

1

0

0

0

0

 

0

0

0

0

0

0

0

0

0

0

0 1

 

 

 

0

1 0

0

0 0

0

0

0

0

0

0

0

0

0

0 0

 

2

 

0

1

0

0

0

 

0

0

0

0

0

0

0

0

0

0

0 0

 

 

 

 

 

 

 

 

 

0

0

1 0

0 0

0

0

0

0

0

0

0

0

0

0 0

 

3

 

0

0

1

0

0

 

0

0

0

0

0

0

0

0

0

0

0 0

 

 

 

0

0

0

1 0 0

0

0

0

0

0

0

0

0

0

0 0

 

4

 

0

0

0

1

0

 

0

0

0

0

0

0

0

0

0

0

0 0

 

 

 

 

 

 

 

 

0 0 0 0 1 0 0 0 0 0 1

0

0

0

0

0 0

5

 

0

0

0

0

 

 

0

0

0

0

0

0

0

0

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 0 0 1 0 0 0 0 1 0

0

0

0

0

0 1

 

0

0

0

0

0

 

0

0

0

0

1

0

0

0

0

0

0 0

 

 

 

0

0

0

0

0 0

0

0

1 0

0

0

0

0

0

0 1

 

7

 

0

0

0

0

0

 

0

0

0

1

0

0

0

0

0

0

0 1

 

 

 

 

 

 

 

 

 

0

0

0

0

1

0

0

0

1 1 1

0

0

0

1 0 0

 

8

 

0

0

0

0

0

 

0

0

0

1

1

1

0

0

0

1

0 1

 

 

 

0

0

0

0

1

0

0

0

0

0

0

0

0

0

0

0 1

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

0

0

0

 

0

0

0

0

0

1

0

0

0

0

0 0

 

 

 

0

0

0

0

1

0

0

1 0

0

0

0

0

0

0

0 1

 

10

 

0

0

0

0

0

 

0

0

1

0

0

0

0

0

0

0

0 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 0 0 0 0 1 0 0 0 0

0

0

0

0

0 0

 

0

0

0

0

0

 

0

1

0

0

0

0

0

0

0

0

0 0

 

 

 

0

0

0

0

1

0

1 1 0

0

1

0

0

1 0

0 1

 

12

 

0

0

0

0

0

 

0

1

1

0

0

1

0

0

1

0

0 0

 

 

 

 

 

 

 

 

0 0 0 0 0

1 0 0 0 0 0

0

0

0

0

0 1

13

 

0

0

0

0

0

 

1

0

0

0

0

0

0

0

0

0

0 1

 

 

 

0

0

0

0

1

1 0

1 0

1 0

0

1 0

0

0 1

 

14

 

0

0

0

0

0

 

1

0

1

0

1

0

0

1

0

0

0 0

 

 

 

 

 

 

 

 

 

0

0

0

0

1

1 0

1 0

0

1

0

0

0

0

0 1

 

15

 

0

0

0

0

0

 

1

0

1

0

0

1

0

0

0

0

0 0

 

 

 

 

 

 

 

 

 

0

0

0

0

1

1 1 1 1 1 1

1 1 1 1 1 0

 

 

 

0

0

0

0

0

 

1

1

1

1

1

1

1

1

1

1

1 1

 

 

 

16

 

 

 

 

Полученная матрица – ещё не до конца диагональная. Но по ней, уже можно сделать

следующие выводы:

a0

1

,

a

a

1

2

a3

0

,

a4

1

,

a13 a14

a

a

24

34

0

, a12 a23 1, что совпадает

с решением другим методом исключения неизвестных (см. предыдущий пример).

Данный пример демонстрирует громоздкость этого метода для функции только 4-х переменных.

Поэтому имеет смысл рассматривать его, как алгоритм для программной реализации в компьютерных технологиях.

Соседние файлы в предмете Математическая логика и теория алгоритмов