Логические операции (булева функция) своё теоретическое обоснование получили в алгебре логики.
Логические операции с одним операндом называются унарными, с двумя — бинарными, с тремя — тернарными (триарными, тринарными) и т. д.
Из возможных унарных операций с унарным выходом интерес для реализации представляют операции отрицания и повторения, причём, операция отрицания имеет большую значимость, чем операция повторения, так как повторитель может быть собран из двух инверторов, а инвертор из повторителей не собрать.
Отрицание, НЕ
|
Мнемоническое правило для отрицания звучит так: На выходе будет:
- «1» тогда и только тогда, когда на входе «0»,
- «0» тогда и только тогда, когда на входе «1»