Kalkulator praw De Morgana - kiedy go używać?
W kalkulatorze praw De Morgana sprawdzisz, jak poprawnie przekształcić zaprzeczenie koniunkcji, alternatywy, sumy zbiorów i części wspólnej zbiorów. To przydaje się w zadaniach typu „uprość wyrażenie logiczne”, „zbuduj tabelę prawdy”, „wyznacz dopełnienie sumy zbiorów” albo „pokaż, że dwie formuły są równoważne”.
Jeśli potrzebujesz pełnej tabeli dla bardziej ogólnych operatorów, przejdź do kalkulatora tablicy prawdy. Jeżeli zadanie dotyczy konkretnych elementów zbiorów, dobrze połączyć ten kalkulator z narzędziem działania na zbiorach, a przy własnościach relacji z kalkulatorem relacje i własności relacji.
Wzór i logika obliczeń
Prawa De Morgana mówią, że zaprzeczenie całego zdania rozdziela się na zaprzeczenia części, ale jednocześnie zmienia się operator: „i” przechodzi w „lub”, a „lub” przechodzi w „i”. W zapisie logicznym:
| Postać wyjściowa | Równoważna postać | Jak to czytać? |
|---|---|---|
| ¬(p ∧ q) | ¬p ∨ ¬q | Nieprawda, że oba zdania są prawdziwe, czyli przynajmniej jedno jest fałszywe. |
| ¬(p ∨ q) | ¬p ∧ ¬q | Nieprawda, że przynajmniej jedno jest prawdziwe, czyli oba są fałszywe. |
| (A ∩ B)' | A' ∪ B' | Poza częścią wspólną są elementy spoza A lub spoza B. |
| (A ∪ B)' | A' ∩ B' | Poza sumą są tylko elementy, które nie należą ani do A, ani do B. |
Przykład obliczeń dla logiki
Załóżmy, że chcesz sprawdzić wzór ¬(p ∧ q) = ¬p ∨ ¬q. Dla czterech możliwych układów wartości zdań p i q kalkulator porównuje lewą i prawą stronę. Gdy p i q są prawdziwe, lewa strona daje fałsz, bo zaprzecza prawdziwej koniunkcji. Prawa strona też daje fałsz, bo ¬p i ¬q są fałszywe.
W pozostałych trzech przypadkach przynajmniej jedno z p, q jest fałszywe, więc całe ¬(p ∧ q) jest prawdziwe. Tak samo prawdziwe staje się ¬p ∨ ¬q. Dlatego prawa De Morgana często sprawdza się przez tabelę prawdy.
Przykład obliczeń dla zbiorów
Dla uniwersum U = {1, 2, 3, 4, 5, 6}, zbioru A = {1, 2, 3, 4} i zbioru B = {3, 4, 5} część wspólna A ∩ B to {3, 4}. Dopełnienie tej części wspólnej względem U wynosi {1, 2, 5, 6}.
Po drugiej stronie wzoru liczymy A' = {5, 6} oraz B' = {1, 2, 6}. Suma A' ∪ B' daje {1, 2, 5, 6}. Obie strony są takie same, więc (A ∩ B)' = A' ∪ B'.
Zadania przykładowe
Zadanie 1
Przekształć wyrażenie: ¬(p ∨ q).
Pokaż odpowiedź
Z prawa De Morgana: ¬(p ∨ q) = ¬p ∧ ¬q.
Zadanie 2
W uniwersum U = {a, b, c, d}, A = {a, b}, B = {b, c}. Oblicz (A ∪ B)'.
Pokaż odpowiedź
A ∪ B = {a, b, c}, więc (A ∪ B)' = {d}. Tak samo A' ∩ B' = {c, d} ∩ {a, d} = {d}.
Najczęstsze błędy przy prawach De Morgana
| Błąd | Poprawnie | Jak zapamiętać? |
|---|---|---|
| ¬(p ∧ q) = ¬p ∧ ¬q | ¬(p ∧ q) = ¬p ∨ ¬q | Przy przejściu przez nawias operator się zmienia. |
| ¬(p ∨ q) = ¬p ∨ ¬q | ¬(p ∨ q) = ¬p ∧ ¬q | Zaprzeczenie „lub” wymaga zaprzeczenia obu części. |
| (A ∪ B)' = A' ∪ B' | (A ∪ B)' = A' ∩ B' | Dopełnienie sumy to wspólna część dopełnień. |
| Liczenie dopełnienia bez uniwersum | Najpierw ustal U | Dopełnienie zawsze liczy się względem ustalonego zbioru U. |
Prawa De Morgana w jednym obrazku
Najprościej pamiętać, że zaprzeczenie całego nawiasu działa jak przejście na „drugą stronę” warunku. W logice zmienia operator między zdaniami, a w teorii zbiorów zmienia działanie między zbiorami.
Powiązane kalkulatory matematyki dyskretnej
Ten kalkulator najlepiej działa jako most między logiką a zbiorami. Do pełniejszej nauki użyj też kalkulatora tablica prawdy, kalkulatora działania na zbiorach oraz narzędzia relacje i własności relacji.
W zadaniach z resztami i dowodami liczbowymi przydadzą się modulo oraz rozszerzony algorytm Euklidesa. Jeśli przechodzisz do grafów, sprawdź stopnie wierzchołków grafu i graf pełny Kₙ. Do zadań z liczeniem wariantów warto podlinkować też kombinatorykę oraz symbol Newtona.
Cały pakiet: matematyka dyskretna, logika, zbiory i grafy
Ten kalkulator należy do jednego pakietu z zakresu matematyki dyskretnej. Jeżeli pracujesz z logiką i zbiorami, przejdź kolejno przez tablica prawdy, prawa De Morgana, działania na zbiorach oraz relacje i własności relacji. Te narzędzia pomagają rozumieć zapisy zdań, negacje, diagramy Venna i własności relacji.
Jeśli zadanie dotyczy reszt z dzielenia, wybierz modulo i reszty z dzielenia, kongruencje liniowe albo rozszerzony algorytm Euklidesa. Do zadań z gwarantowanym powtórzeniem pasuje zasada szufladkowa Dirichleta, szczególnie gdy szufladami są reszty modulo, kolory, miesiące lub inne klasy.
Część grafową tworzą: stopnie wierzchołków grafu, graf pełny Kₙ, drzewa w grafach, ścieżki i cykle w grafie i macierz sąsiedztwa grafu. Dzięki temu możesz przejść od listy krawędzi, przez macierz sąsiedztwa, aż po stopnie, cykle, drzewa i graf pełny.
Wskazówka od KalkulatorXXL
Przy zadaniach z praw De Morgana najpierw zaznacz, czy pracujesz na zdaniach logicznych, czy na zbiorach. W logice szukasz wartości prawda/fałsz, a w zbiorach konkretnych elementów względem uniwersum U. Ten sam wzór wygląda podobnie, ale błąd najczęściej wynika z pomieszania operatorów ∧/∨ z działaniami ∩/∪.
Cały dział matematyki dyskretnej: Akademia matematyki dyskretnej – logika, zbiory i grafy łączy tablice prawdy, prawa De Morgana, zbiory, relacje, modulo, kongruencje, podzielność, kombinatorykę, prawdopodobieństwo i teorię grafów.
FAQ - prawa De Morgana
Ostatnia aktualizacja: 19.08.2026