正逻辑下的“或-非”门是负逻辑下的（）。