Rewriting 'and' and 'or' term-by-term for reals