Функция F6 = В называется функцией повторения по логической переменной В.


Функция

называется функцией исключающее «ИЛИ».


Функция F8 = A v В называется функцией дизъюнкции.


Функция

называется функцией Пирса.


Функция

называется функцией эквиваленции.


Функция

называется функцией отрицания (инверсии) по логической переменной В.


Функция F12 = B ⇒ A называется функцией импликации B ⇒ A.


Функция

называется функцией отрицания (инверсии) по логической переменной А.


Функция F14 = A ⇒ B называется функцией импликации A ⇒ B.


Функция

называется функцией Шеффера.


Функция F16 = 1 называется функцией генератора 1.


Среди перечисленных выше логических функций переменных можно выделить несколько логических функций, с помощью которых можно выразить другие логические функции. Операцию замены одной логической функции другой в алгебре логики называют операцией суперпозиции или методом суперпозиции. Например, функцию Шеффера можно выразить при помощи логических функций дизъюнкции и отрицания, используя закон де Моргана:



54 из 224