Булевы функции от небольшого числа аргументов удобно представлять с помощью таблиц. Таблица для функции f(x1, …, xn) имеет n+1 столбец. В первых n столбцах указываются значения аргументов x1, …, xn , а в (n+1)-ом столбце значение функции на этих аргументах - f(x1, …, xn) .
Таблица 3.1. Табличное представление функции f(x1, …, xn)
x1
.
.
.
xn-1
xn
f(x1, …, xn)
.
.
.
f(0, …, 0,0)
.
.
.
f(0, …, 0,1)
.
.
.
f(0, …, 1,0)
.
.
.
.
.
.
…
.
.
.
f(1, …, 1,1)
Наборы аргументов в строках обычно располагаются в лексикографическом порядке:
( 1, …, n) < (β1, …, βn) существует такое i [1,n], что при j < i j = βj , а i < βi .
Если эти наборы рассматривать как записи чисел в двоичной системе счисления, то 1-ая строка представляет число 0, 2-ая - 1, 3-я - 2, … , а последняя - 2n-1 .
При больших n табличное представление становится громоздким, например, для функции от 10 переменных потребуется таблица с 1024 строками. Но для малых n оно достаточно наглядно.