Leges De Morgan

E Vicipaedia
Jump to navigation Jump to search

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)


mathematica Haec stipula ad mathematicam spectat. Amplifica, si potes!