definition |
zakoni u Booleovim algebrama koji u logici prvoga reda kažu da je negacija disjunkcije ekvivalentna konjunkciji negacija i negacija konjunkcije ekvivalentna disjunkciji negacija |
equivalents |
english: de Morgan laws russian: законы де Мо́ргана, правила де Мо́ргана |
equation |
|
note |
De Morganove zakone $\neg (A\vee B) = \neg A \wedge \neg B$ i $\neg A\vee \neg B = \neg (A\wedge B)$ u Booleovoj algebri skupova zapisujemo kao $(A\cup B)^c = A^c \cap B^c$ i $A^c \cup B^c = (A\cap B)^c$, pri čemu $A^c$ označuje komplement skupa $A$. Unija i presjek u općoj Booleovoj algebri zamijenjeni su najmanjom gornjom i najvećom donjom međom. |
classification |
polje: matematika |
source |
