det logiska utslaget af enutaf