Con la notación lógica las leyes de De Morgan serían así: