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

35 байтів додано ,  10 років тому
м
r2.6.4) (робот додав: kk:Конъюнкция; косметичні зміни
м (r2.6.4) (робот додав: kk:Конъюнкция; косметичні зміни)
== Властивості ==
 
* [[асоціативність]]
:<math>a \land (b \land c) \equiv (a \land b) \land c </math>
 
* [[комутативність]]
:<math>a \land b \equiv b \land a </math>
 
* [[дистрибутивність]]
:<math>a \land (b \lor c) \equiv (a \land b) \lor (a \land c)</math>
:<math>a \land (b \land c) \equiv (a \land b) \land (a \land c)</math>
:<math>a \land (b \oplus c) \equiv (a \land b) \oplus (a \land c)</math>
:
* [[ідемпотентність]]
:<math>a \land a \equiv a </math>
 
* [[монотонні функції алгебри логіки|монотонність]]
:<math>(a \rightarrow b) \rightarrow ((c \land a) \rightarrow (c \land b))</math>
:<math>(a \rightarrow b) \rightarrow ((a \land c) \rightarrow (b \land c))</math>
 
== Дивись також ==
* [[Булева множина]]
* [[Закони де Моргана]]
 
{{Шаблон:Логічні операції}}
[[it:Congiunzione logica]]
[[ja:論理積]]
[[kk:Конъюнкция]]
[[ko:논리곱]]
[[mk:Логичка конјункција]]
711 076

редагувань