СХТ САПР_2013 / Модули 1-2 / Раздаточный материал

f_i

0

0

0

1

1

0

1

1

Название

Алгебраичес-кое выражение

УГО

1

0

0

0

0

Нулевая

f₀ = 0

1

&

0

0

0

1

Конъюнкция

f₁ = x₁ x₂

f₁

&

0

0

1

0

Запрет x₂

f₂ = x₁  x₂ =

= x₁ x₂

f₂

1

0

0

1

1

Повторение x₁

f₃ = x₁

f₃

&

0

1

0

0

Запрет x₁

f₄ = x₂  x₁ =

= x₁ x₂

x₂

0

1

0

1

Повторение x₂

f₅ = x₂

1

M2

0

1

1

0

Исключаю-

щее ИЛИ

f₆ = x₁ x₂ =

= x₁ x₂ V x₁ x₂

f₆

x₁

x₂

0

1

1

1

Дизъюнкция

f₇ = x₁ V x₂

= x₁ + x₂

1

x₁

x₂

1

0

0

0

Стрелка Пирса

f₈ = x₁ ↓x₂ =

= x₁ V x₂

1

=

1

0

0

1

Равнознач-

ность

f₉ = (x₁  x₂ ) =

= x₁ x₂ V x₁ x₂

f₉

f₁₀

1

0

1

0

Отрицание x₂

f₁₀ = x₂

1

1

1

0

1

1

Импликация от x₂ к x₁

f₁₁ = x₂  x₁ =

= x₁ V x₂

f₁₁

f₁₂

1

1

0

0

Отрицание x₁

f₁₂ = x₁

1

1

1

1

0

1

Импликация от x₁ к x₂

f₁₃ = x₁  x₂ =

= x₁ V x₂

f₁₃

f₁₄

1

1

1

0

Штрих Шеффера

f₁₄ = x₁ / x₂ =

= x₁ x₂

&

1

1

1

1

1

Единичная

f₁₅ = 1

f₁₅

f

0 1

Наименование

Алгебраическое выражение

УГО

1

f₀

f₁

f₂

f₃

0 0

0 1

1 0

1 1

Константа «0»

Повторение х

Инверсия х

Константа «1»

f₀ = 0

f₁ = х

f₂ = х

f₃ = 1

f₀

х

х

Исходные

термы

1

2

3

4

5

6

7

8

0011

0100

0101

0111

1001

1011

1100

1101

1

1

1

1

1

1

1

1

Импликанты

(Табл. )

Конституенты

0000

0001

0010

0101

0110

1001

1010

1011

1101

1111

000- (1)

00-0 (2)

0-10 (3)

-010 (4)

101- (5)

--01 (6)

1-—1 (7)