Leges De Morgan

Leges De Morgan in logica propositionali et algebra Booelana sunt par legum quae inter operationes logicales et et aut negatione convertunt, hoc modo:

NON (P AUT Q) = (NON P) ET (NON Q)

NON (P ET Q) = (NON P) AUT (NON Q)

Haec stipula ad mathematicam spectat. Amplifica, si potes!