1 prawo(negacja koniunkcji)
¬(p ∧ q) = ¬p ∨ ¬q
Nie jest prawdą, że mam parasol i jest sucho, czyli albo nie mam parasola, albo nie jest sucho
2 prawo(negacja alternatywy)
¬(p ∨ q) = ¬p ∧ ¬q
Nie jest prawdą, że pada lub wieje, czyli ani nie pada, ani nie wieje.
