Работа со значениями 0 и 1 (логическое значение)

Is 

f = a'ab;

такой же как

f = 1

Это возможно? Я получил это, когда я что-то упрощал.


boolean boolean-logic boolean-operations boolean-expression
person thedoublejointedprince    schedule 30.07.2012    source источник
comment
Что означает '?   -  person nullpotent    schedule 30.07.2012
comment
@AljoshaBre, главный маркер (либо верхняя черта, если она доступна, либо галочка после инвертируемого объекта) обычно означает инверсию (НЕ) в булевой алгебре.   -  person paxdiablo    schedule 30.07.2012
comment
Интересно, и я думал, что это ! используется как символ отрицания.   -  person nullpotent    schedule 30.07.2012
comment
Это способ C, поскольку это оператор логической инверсии. Булева алгебра, однако, пришла из мира математики, предшествующего даже C :-) И, фактически, простое обозначение используется в других местах, таких как матрицы, где a, умноженное на a', дает единицу матрица.   -  person paxdiablo    schedule 30.07.2012
comment
@paxdiablo Ха-ха, я имел в виду ¬ :) Учитывая матрицы, да, меня тоже так учили.   -  person nullpotent    schedule 30.07.2012

Ответы (1)


arrow_upward
2
arrow_downward

Если это предназначено для представления (и я думаю, что это вероятный случай):

NOT-a AND a AND b

тогда нет, это ложь независимо от значений a или b. Это потому, что одно из a или NOT-a определенно ложно, FALSE AND anything ложно, а операция ассоциативна: (a AND b) AND c == a AND (b AND c).

Если он предназначен для представления:

NOT-a OR a OR b

тогда да, это верно независимо от значений a или b. Это потому, что одно из a или NOT-a определенно верно, а TRUE OR anything верно. Здесь также действуют правила ассоциативности.

person paxdiablo    schedule 30.07.2012