Кон'юнкція: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Олюсь (обговорення | внесок) мНемає опису редагування |
Олюсь (обговорення | внесок) мНемає опису редагування |
||
Рядок 37:
*[[дистрибутивність]]
:<math>
:<math>
:<math>a \land (b \oplus c) \equiv (a \land b) \oplus (a \land c)</math>
:
*[[ідемпотентність]]
:<math>a \land a \equiv a </math>
Рядок 46 ⟶ 47:
:<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>
== Функціональна повнота ==
Множина операцій <math>\{ \land, \lnot \}</math> є [[функціональна повнота|функціонально повною]]:
:<math>a \lor b \equiv \lnot (\lnot a \land \lnot b) </math>
:<math>a \rightarrow b \equiv \lnot (a \land \lnot b) </math>
:<math>a \downarrow b \equiv \lnot a \land \lnot b </math>
== Двійкові операції ==
Рядок 55 ⟶ 62:
* 1010 <math>\land</math> 1110 = 1010 (''побітова'' операція)
==
*[[Булева множина]]
*[[Закони де Моргана]]
{{Шаблон:Логічні операції}}
[[Категорія:Логічні операції]]
|