A逻辑“非”B逻辑“或”C逻辑“与”D逻辑“是”