Відмінності між версіями «Кон'юнкція»

96 байтів додано ,  13 років тому
нема опису редагування
'''конКон'юнкція''' (лат. ''{{lang-la|conjangere''}} - об'єднувати) - — одна з [[логічна операція|логічних операцій]], що має значення «істина», якщо всі [[операнд|операнди]] мають значення «істина». Іншими словами, операція відображає вживання [[сполучник|сполучника]] «і» в логічних висловлюваннях.
 
Таблиця залежності результату операції для двох операндів A і B виглядає таким чином:
:''P'' <math>\land</math> ''Q''
 
==[[Асоціативність]] і [[комутативність]] ==
 
Кон'юнкція є асоціативною операцією, тому порядок обчислень не має значення:
 
Кон'юнкція є [[Асоціативність|асоціативною]] операцією, тому порядок обчислень не має значення:
:''A''<math>\land</math>''B''<math>\land</math>''C'' &hArr; (''A''<math>\land</math>''B'')<math>\land</math>''C'' &hArr; ''A''<math>\land</math>(''B''<math>\land</math>''C'')
 
Кон'юнкція, також, є [[комутативність|комунікативною]], тому порядок операндів не має значення:
 
:''A'' <math>\land</math> ''B'' &hArr; ''B'' <math>\land</math> ''A''
 
== Двійкові операції ==
Кон'юнкція часто використовується для двійкових операцій. Наприклад:
 
* 0 <math>\land</math> 0 = 0
* 0 <math>\land</math> 1 = 0
* 1010 <math>\land</math> 1110 = 1010 (''побітова'' операція)
 
== Див. також: ==
----
Див. також:
*[[Диз'юнкція (логічна)|диз'юнкція]]
*[[Заперечення]]
 
[[Категорія:Логіка]]