Try to fix bug 13981
Merge pull request #269 from leoowen19/DeMoganLaw

Try to fix bug 13981