I want to color different subformulas with overlays successively.
\frame{
\onslide<1>{$$\textcolor{red}{a} \land (\textcolor{red}{b} \lor c)$$}
\onslide<2>{$$\textcolor{red}{a} \land (b \lor \textcolor{c})$$}
}
Unfortunately the formula "jumps" down one line.