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

== Властивості ==

 

:<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:論理積]]

[[ko:논리곱]]

[[mk:Логичка конјункција]]