Page 17 - 4503

Продовження таблиці 1.4

0 0 1 1

0 1 0 0

0 1 1 1

1 0 0 0

1 0 1 0

1 1 0 1

1 1 1 1

Згідно із правилами побудови таблиць функція Y є
істинною тільки тоді, коли:
кон’юнкція рядка № 1 дорівнює 1, тобто c = 1;
кон’юнкція bc = 1; (рядок № 3)
кон’юнкція ab = 1; (рядок № 6)
abc = 1; (рядок № 7)
Усе це можна записати у вигляді одного загального
аналітичного виразу:

Y = c bc ab abc; (1.7)
Вираз 1.7 дійсно дорівнює 1 тільки за будь–якої із
чотирьох перелічених комбінацій значень аргументів. Усі інші
комбінації аргументів забезпечує значення виразу 0. Отже,
функція, записана у вигляді (1.7) еквівалентна тій, що
записана у таблиці 1.4, котра виражена функціями НЕ, І, АБО.

17