Общие сведения. Функция называется булевой или логической (ЛФ), если она сама и ее аргументы принамают значения (0,1)

Функция называется булевой или логической (ЛФ), если она сама и ее аргументы принамают значения (0,1).

Способы представления ЛФ. Логическая функция может быть представлена (задана) словесно, таблично, аналитически, с помощью карт Карно.

Словесно описываются только простые ЛФ.

При табличном способе ЛФ задается таблицей истинности.

Аналитически (в виде формул) ЛФ может быть записана в совершенной дизъюктивной нормальной форме (СДНФ) и в совершеной коъюктивной нормальной форме (СКНФ).

Нормальная форма – это запись ЛФ в базисе И,ИЛИ,НЕ. ¯