[InstSimplify] add logic fold for 'or' with 'xor'+'and'

This replaces the 'or' from 4b30076f with an 'and'.
We have to guard against propagating undef elements from
vector 'not' values:
https://alive2.llvm.org/ce/z/irMwRc