2.3. Специальные булевы функции

Рассмотрим следующие специальные булевы функции, на основе которых могут быть построены другие:

0, 1 – константы, могут рассматриваться как булевы функции от любого числа

          переменных ;

   – тождественная функция (или проекция );

 – отрицание, обозначается также ;

 – конъюнкция;

 – дизъюнкция;

 – сложение по модулю 2;

 – стрелка Пирса;

~ – эквивалентность;

 – импликация;

 – штрих Шеффера.

Эти функции можно определить с помощью таблиц истинности:

x1

x2

&

Ú

Å

¯

~

®

|

Ø

0

1

0

0

0

0

0

1

1

1

1

1

0

1

0

1

0

1

1

0

0

1

1

1

0

1

1

0

0

1

1

0

0

0

1

0

0

1

1

1

1

1

0

0

1

1

0

0

0

1