逻辑非关系一般用符号___表示。