\input amstex
\input cyracc.def
\font\tencyr=wncyr10
\def\cyr#1{{\tencyr\cyracc#1}}
\def\sledi{\;\Longrightarrow\;}

$$\align
W(t)=0&\sledi\varphi_i\ \text{\cyr{nezavisne}}\lor\varphi_i\ \text{\cyr{zavisne,}}\\
W(t)\neq0&\sledi\varphi_i\ \text{\cyr{nezavisne.}}\\
\varphi_i\ \hbox{\cyr{zavisne}}&\sledi W(t)=0\hbox{,}\\
\varphi_i\ \hbox{\cyr{nezavisne}}&\sledi W(t)=0\lor W(t)\neq0\hbox{.}
\endalign$$
\bye