For the statement “(a is not b) or (a is a) or (b is a)” to be true, only one of the parenthetical phrases needs to be true. Since “a is a” is always true, then the entire statement is true.