Основні елементарні логічні функції

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

х

2. кон’юнкція (І, логічне множення) – бінарна логічна функція, яка визначається виразом

та має таблицю істинності:

Операцію кон’юнкції можна поширити на декілька логічних співмножників:

Зауваження: кон’юнкція n логічних співмножників дорівнює одиниці тільки на одиничному наборі.

3. Диз’юнкція (АБО, логічне додавання) – бінарна функція, яка визначається виразом

та має таблицю істинності:

Операцію диз’юнкції можна поширити на декілька логічних доданків:

Зауваження: диз’юнкція n логічних доданків дорівнює нулю тільки на нульовому наборі.