logic circuit not ((A and B) or (C and not D))