De mogan law