Fixed bug in de_morgan and updated test_de_morgan