Leges De Morgan

E Vicipaedia
Salire ad: navigationem, quaerere

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!