Способы ФАЛ

1. Табличный – ФАЛ считается заданной, если каждому набору поставлено в соответствие значение этой ФАЛ, такое задание осуществляется виде таблицы – называющейся таблицей истинности. Таблицей 2ⁿ строк (по числу наборов) и n столбцов (по числу переменных) и один столбец значение функции.

Таб. №1

Таб. №2

Две ФАЛ от n переменных называются равными, если и только если их значения на каждом наборе совпадают. Для функции заданной таблицы №2 справедливо соотношение y₁= y₂; y₁≠ y₃; y₁≠ y₄; y₂≠ y₃; y₂≠ y₄; y₃≠ y₄. Две ФАЛ можно сравнить на предмет равенств и не равенств, если не только, эти ФАЛ заданы от одинокого числа n – причем одних и тех же переменных.

2. Графический.

Множество значений n – переменных ФАЛ поставлено в соответствие множества вершин n мерного куба.

Около вершин проставлено значение набора переменных, внутри значения ФАЛ. Куб называется единичным, так как каждое его ребро соединяет вершины наборы, которых отличаются одной переменной.

f(x_1,x_2,x₃)

Таб. №3

Этот способ распространения не получил.