```
>>> from sympy.logic.boolalg import *
>>> isinstance(f, Boolean)
False
>>> type(f)
<class 'sympy.core.function.UndefinedFunction'>
```