Prawa de Morgana - kurs z teorii mnogości

Prawa De Morgana to zestaw dwóch fundamentalnych praw w logice matematycznej, które pozwalają na przekształcanie i uproszczanie wyrażeń logicznych. Te prawa dotyczą operacji negacji, koniunkcji i alternatywy. Oto oba prawa De Morgana: Pierwsze prawo De Morgana: Negacja koniunkcji dwóch zdań jest równa alternatywie ich negacji. Drugie prawo De Morgana: Negacja alternatywy dwóch zdań jest równa koniunkcji ich negacji.