j/logic: another way to write demorgan's, thanks to FireFly