与非门的逻辑功能可归纳为（）。