How does this list comprehension produces this output?

I was dealing with some Haskell function examples but I didn't understand this particular function:

f x = [not a | a<-[x,not x], a]

and it produces [False] as output but I didn't understand why. Can one please explain this in detail?