According to [Python 3]: Operator precedence (emphasis is mine):
The following table summarizes the operator precedence in Python, from lowest precedence (least binding) to highest precedence (most binding).
...
and Boolean AND
not x Boolean NOT
in, not in, is, is not, <, <=, >, >=, !=, == Comparisons, including membership tests and identity tests
...
The fact that is not comes after and, means that it will be evaluated before and (both might not be evaluated at all, due to lazy evaluation - thanks @NickA for the comment), so the expression is equivalent to (adding parentheses for clarity):
if a and (b is not None):
Also, according to [Python 3]: Truth Value Testing:
Any object can be tested for truth value, for use in an if or while condition or as operand of the Boolean operations below.
your if statement is perfectly OK (produces a bool).
Examples (using [Python 3]: class bool([x])):
>>> bool(0)
False
>>> bool(100)
True
>>> bool([])
False
>>> bool([0])
True
>>> bool(None)
False
>>> bool({})
False
>>> bool({1: 1})
True
>>> bool(None is not None)
False
>>> bool(1 is not None)
True
>>> bool(2 and 1 is not None)
True