De Morgans lagar
Also known as DeMorgan’s theorem
pair of transformation rules that are both valid rules of inference
AI overview
De Morgan's laws are a pair of rules that show how to rearrange logical statements by swapping "and" and "or" while flipping what is being negated. They matter because they're fundamental tools in logic and mathematics that help simplify complex statements and solve problems more easily.
AI-generated from the Wikipedia summary — may contain errors.
Article · Svenska
De Morgans lagar är två slutledningsregler inom logik och boolesk algebra, uppkallade efter Augustus de Morgan på 1800-talet. Lagarna var kända redan på medeltiden och formulerades språkligt av William Ockham på 1400-talet. Reglerna, uttryckta som tautologier eller som teorem inom satslogiken, är där och är påståenden. Den första regeln är en negation av en konjunktion och den andra, en negation av en disjunktion. Informellt kan lagarna skrivas inte (P och Q) = inte P eller inte Qinte (P eller Q) = inte P och inte Q Reglerna har motsvarigheter inom mängdläran: där ∩ är snittoperatorn och ∪ är unionsoperatorn. Den allmänna formen är där I är en indexmängd och är A:s negation. De Morgans lagar har tillämpningar inom digitaltekniken vid konstruktion av logiska kretselement. De Morgans lagar motsvaras av logiska grindar enligt (1 = hög nivå, 0 = låg nivå):
Abstract from DBpedia / Wikipedia · CC BY-SA