logo search
gotovye_MPZh_shpory

2) Конъю́нкция

 Над переменном в булевой алгебре можно производить только три действия: дизъю́нкция(логическое сложение ),конъюнкцию(логическое умножение), и инверсию(логическая отрицаниие)(от лат. conjunctio союз, связь) — логическая операция, по своему применению максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И».

Конъюнкция может быть бинарной операцией, то есть иметь два операнда, тернарной операцией, то есть иметь три операнда или n-арной операцией, то есть иметь n операндов. Чаще всего встречаются следующие варианты:

в инфиксной записи

,

по аналогии с умножением в алгебре знак логического умножения может быть пропущен: ,

в префиксной записи.

Таблицы истинности:для бинарной конъюнкции

для тернарной конъюнкции

X

Y

Z

X YZ

0

0

0

0

0

0

1

0

0

1

0

0

0

1

1

0

1

0

0

0

1

0

1

0

1

1

0

0

1

1

1

1

Операция, называемая в двоичной логике конъюнкция, в многозначных логиках называется минимум: , где , а — значность логики. Возможны и другие варианты. Как правило, стараются сохранить совместимость с булевой алгеброй для значений операндов и .

Следует отметить, что название этой операции минимум имеет смысл в логиках с любой значностью, в том числе и в двоичной логике, а названия конъюнкция, логи́ческое "И",логическое умноже́ние и просто "И" имеют смысл только в двоичной логике, а при переходе к многозначным логикам теряют смысл.