Discret / Lect18_DM_KI

Харьковский национальный университет радиоэлектроники,

1

кафедра АПВТ, тел. 7021 326, е-mail: ri@kture.kharkov.ua

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

2011

ХНУРЭ, факультет КИУ, кафедра АПВТ,

2

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

ХНУРЭ, факультет КИУ, кафедра АПВТ,

3

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

ХНУРЭ, факультет КИУ, кафедра АПВТ,

4

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

ХНУРЭ, факультет КИУ, кафедра АПВТ,

5

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

ХНУРЭ, факультет КИУ, кафедра АПВТ,

6

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

Пример реализации метода существенных

1

переменных

Пусть функция задана в виде:

1, 10

< x ≥5,

Yi =

x <5.

0,

0101

0110

0111

1000

1001

K

0000

2,4

2,3

2,3,4

1

1,4

1

2

0001

2

2,3,4

2,3

1,4

1

1

2

0010

2,3,4

2

2,4

1,3

1,3

1

2

0011

2,3

2,4

2

1,3,4

1,3

1

2

0100

4

3

3,4

1,2

1,2,4

2,4

2,3

1

1

ХНУРЭ, факультет КИУ, кафедра АПВТ,

7

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

Пример реализации метода существенных

2

переменных

1-кубы*3K/

0101

0110

0111

1000

1001

KmtКНФ

0-кубы*3K/

_

_

0000

2,4

2,3

2,3,4

1

1,4

1

2

_

_

_

_

0001

2

2,3,4

2,3

1,4

1

1

2

_

_

_

_

_

0010

2,3,4

2

2,4

1,3

1,3

1

2

_

_

_ _

_

_

_

0011

2,3

2,4

2

1,3,4

1,3

1

2

_

_

_

_

_

0100

4

3

3,4

1,2

1,2,4

1 3 4

ДНФ

2,4

2,3

2(3 4)

1

1

dmt

ХНУРЭ, факультет КИУ, кафедра АПВТ,

8

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

Пример реализации метода существенных

3

переменных

2,4

+

+

2,3

+ +

1

1

1

ХНУРЭ, факультет КИУ, кафедра АПВТ,

9

тел. 7021 326, e-mail: ri@kture.kharkov.ua

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

2011

переменных

4

Импликантная матрица для КНФ:

_ _

0000 0001 0010 0011 0100

+ +

+ +

_1 2

_

+

1 3 4

= x x1x3

x1x x1x2 x2x3 x2x4 =

14444244443

=x1

= x x

x

x

2

x

YДHФ

1

2

3

4

min

ХНУРЭ, факультет КИУ, кафедра АПВТ,

10

тел. 7021 326, e-mail: ri@kture.kharkov.ua