2014-02-09
360
Операции
По определению, операция суть функция, где значения аргументов и значения функции берутся из одного и того же множества. Примером могут служить операции арифметического сложения, умножения, деления для действительных чисел.
Аргументы и значения ФАЛ определены на множестве {0,1} (иногда на {истина, ложь}). ФАЛ 
где 
, и задаются таблицей п+ 1-арного отношения (но функция считается п -арной). Любая ФАЛ при помощи подстановок может быть задана композицией из трех элементарных бинарных функций – 1) дизъюнкции 
2) конъюнкции 
, 3) отрицания 
.
