根据简单规范模态判断间的对当关系，禁止P与允许非P之间具有（）关系；必须P与允许非P之间是（）关系。