Cтраница 1
Операция отрицания в алгебре логики называется инверсией и обозначается чертой над аргументом или функцией. [1]
Операция отрицания выполняется всегда над одним операндом. Остальные операции являются бинарными, то есть выполняются над двумя операндами. Логические операции между двумя операндами осуществляются поразрядно. [2]
Операция отрицания выполняется всегда над одним операндом. [3]
Операция отрицания ( -) выполняется над одним операндом, остальные операции - над двумя операндами. Логическая операция выполняется последовательно слева направо над каждой парой битов. Таким образом, результатом логической операции является строка битов длиной, равной длине большего операнда. [4]
Операция отрицания not применяется только к данным логического типа. [5]
Операция отрицания унарная, она изменяет значение логического выражения на противоположное. Остальные операции бинарные - их применяют к паре выражений. [6]
Операция отрицания завершается неудачей, если операнд вычислен успешно, и успехом, если вычисление операнда завершилось неудачей. В случае успеха результатом операции служит пустая цепочка. [7]
Операция отрицания, сводящаяся к замене в каждом из разрядов единицы нулем и нуля единицей. Проведение операции отрицания, например, в цифровых разрядах кода числа позволяет преобразовать код из прямого в обратный или, наоборот, из обратного в прямой. [8]
![]() |
Операция отрицания.| Логические операции. [9] |
Операция отрицания определена в таблице 1, где и - логическая переменная. Из этой таблицы следует, что значение 1 ( 1ы) совпадает со значением и. Эквивалентность двух высказываний А и В обозначается АВ и читается А эквивалентно В. Высказывание А-В истинно, если значения истинности высказываний А и В одинаковы, и ложно - в противном случае. [10]
Операция отрицания ( не) для изображающего числа означает замену 0 на 1 и наоборот. [11]
Операции отрицания, как известно, соответствует теоретико-множественная операция дополнения. [12]
Операция отрицания - одноместная, операции конъюнкции, дизъюнкции, импликации, эквиваленции - двухместные. Впрочем, определения конъюнкции, дизъюнкции и эквиваленции естественно обобщаются на любое ( конечное) число высказываний. Ап имеют одинаковое истинностное значение. [13]
Операции отрицания и сложения ( по модулю два) являются линейными операциями, поскольку каноническими полиномами представляющих их булевых функций будут линейные формулы х 1 и х - f - у. В то же время функции ху и хУу, а значит, и определяемые ими операции умножения и дизъюнкции нелинейны. Первая из них имеет в качестве своего канонического полинома формулу ху, а вторая - формулу х у ху. [14]
Операция отрицания относится к одноместным операциям, а остальные - к двуместным. [15]