单选题 下列( )模式必定符合4CNF。