Page 9 - 4503

століття Джорджа Буля [1], який досліджував їх. Всі інші
функції булевої алгебри можна виразити за допомогою цього
базису.

1.1.1 Функція НЕ

Функція НЕ є функцією тільки одного аргумента.
Іншими її назвами є заперечення чи інверсія. У аналітичних
виразах (себто формулах, рівняннях) вона звикло
позначається рискою над аргументом:

Y = , (1.1)

де Y — логічна функція; а — аргумент.
Можливі й інші позначення: Y = НЕа; Y = а. Функція
ЗАПЕРЕЧЕННЯ дорівнює 1, якщо її аргумент має значення 0
і навпаки (таблиця 1.1).

Таблиця 1.1 — Таблиця істинності логічної функції —
інверсії

a Y
0 1
1 0

Окрім аналітичного (у вигляді формул) і табличного
способу відображення функцій (таблиці істинності), є ще й
наприклад графічний спосіб, але для логічних функцій він не є
показовим, оскільки на такому графіку буде зображено лише
точки, а не лінії. Зате для логічних функцій вельми доречними
є приклади із висловлюваннями, наприклад:

ТЕПЛО =

9