Функцією алгебри логіки

Якщо наборам значень аргументів ФАЛ зіставляє точки n- мірного простору, то безліч

наборів визначає безліч вершин n- мірного одиничного куба. Таким чином, областю визначення ФАЛ, що залежить від n аргументів, є безліч вершин такого куба.

f (101, 110, 010, 011) = 1

Або на картах Карно або на картах Вейча

Значення ФАЛ можуть бути задані не на всіх можливих наборах аргументів. На деяких значення функції можуть бути не визначені. Такі функції називають не цілком визначеними.

Елементарні функції алгебри логіки

Розглянемо безліч елементарних ФАЛ. Почнемо з випадку, коли довжина слова n = 0. За формулою, що визначає число функцій логіки, обчислюємо, що при n = 0

= 2.

Ці дві функції збігаються з константами.

У разі n = 1 ми маємо дві функції, істотно залежать від аргументу x, ці дві функції визначаються таблицею