back to the future with demorgan rules