Cтраница 1
Операция Шеффера эквивалентна отрицанию совпадения я в литературе часто встречается под названием И - НЕ. [1]
Обозначают операцию Шеффера символом, который называют штрихом Шеффера. [2]
В результате операции Шеффера значение истинности, равное 0, получается, если оба высказывания А и В истинны. [3]
Функциональную полноту операции Шеффера доказывают тем, что любую из операций булевой алгебры выражают суперпозицией операции И-НЕ. [4]
Многие авторы называют операцией Шеффера операцию, двойственную к введенной нами. [5]
Получение отрицания конъюнкции ( операции Шеффера) с применением последовательно первой и второй операций. В результате операции Шеффера значение истинности, равное О, получается, если оба высказывания А и В истинны. [6]
Наиболее замечательным свойством обладают операции Шеффера и Пирса: каждая из них, рассматриваемая в отдельности, представляет собой полный в сильном смысле набор булевых операций. Эти наборы, разумеется, неприводимы в том смысле, что из них нельзя удалить ни одной операции без потери набором свойства усиленной полноты. [7]
Логический элемент, реализующий операцию Шеффера, называется элементом НЕЙ. [8]
Операция М2, как и операции Шеффера и Пирса, обладает функциональной полнотой. Теория ПФ, основанная на операции М2, называется алгеброй Жегалкина. [9]
![]() |
Схема с использованием блоков СОВПАДЕНИЕ. [10] |
Операция J JC; является аналогом операции Шеффера, а Т Jf-двойственная ей. [11]
В формуле (13.15) функция F выражается только через операции Шеффера. Для ее реализации ( рис. 13.10) требуется четыре элемента И-НЕ, причем три из них на два входа и один на три входа. [12]
Отсюда видно, что операция дизъюнкции выражается через три операции Шеффера. [13]
Сложное высказывание, полученное путем соединения двух простых высказываний при помощи операции Шеффера, ложно только в том случае, когда а и Ь имеют истинные значения. [14]
Функциональная полнота операции Пирса доказывается аналогично тому, как это было сделано для операции Шеффера. [15]