Кон'юнкція

Матеріал з Вікіпедії — вільної енциклопедії.

кон'юнкція (лат. conjangere - об'єднувати) - одна з логічних операцій, що має значення «істина», якщо всі операнди мають значення «істина». Іншими словами, операція відображає вживання сполучника «і» в логічних висловлюваннях.

Таблиця залежності результату операції для двох операндів A і B виглядає таким чином:

A B A і B
хибність хибність хибність
хибність істина хибність
істина хибність хибність
істина істина істина

[ред.] Позначення

Вираз "P або Q" записується як

P \land Q

[ред.] Асоціативність і комутативність

Кон'юнкція є асоціативною операцією, тому порядок обчислень не має значення:

A\landB\landC ⇔ (A\landB)\landCA\land(B\landC)

Кон'юнкція, також, є комунікативною, тому порядок операндів не має значення:

A \land BB \land A

[ред.] Двійкові операції

Кон'юнкція часто використовується для двійкових операцій. Наприклад:

  • 0 \land 0 = 0
  • 0 \land 1 = 0
  • 1 \land 0 = 0
  • 1 \land 1 = 1
  • 1010 \land 1110 = 1010 (побітова операція)

Див. також: