ОСНОВИ ДИСКРЕТНОГО АНАЛІЗУ.
Автори: Н.Д.Федоренко,В.В.Демченко

     3.4. РЕАЛІЗАЦІЯ БУЛЕВИХ ФУНКЦІЙ ФОРМУЛАМИ

      Розглянемо множину булевих функцій .

Формулою F називають вираз виду , де , або деяка змінна, або формула над F. F - базис, f - головна (зовнішня) операція, - підформули.

Знаючи таблиці істинності для функцій базису, можна обчислити таблицю істинності тієї функції, яку реалізує дана формула.

      Приклад 1. Побудувати функції , що реалізуються формулами:





.

Розв'язання. Відповідно визначенню формули реалізують функції, що задані таблицями істинності.

1) (таблиця 6)

Таблиця 6.



З таблиці 6 видно, що формула реалізує функцію

.

2) (таблиця 7)

Таблиця 7.



Формула реалізує функцію .

3) (таблиця 8)

Таблиця 8.



реалізує константу .

ЗМІСТ