Спасибо, поняла

Код: Выделить всё
x1 ::= CH'.[0-3].NE;
x2 ::= CH'.[0-3].JU;
x3 ::= CH'.[0-3].VE;
x4 ::= CH'.[147-153].NE;
x5 ::= CH'.[147-153].JU;
x6 ::= CH'.[147-153].VE;
x7 ::= CH'.[117-123].NE;
x8 ::= CH'.[117-123].JU;
x9 ::= CH'.[117-123].VE;
x10 ::= CH'.P.NE;
x11 ::= CH'.P.JU;
x12 ::= CH'.P.VE;
x13 ::= CH'.^P.NE;
x14 ::= CH'.^P.JU;
x15 ::= CH'.^P.VE;
y1 ::= JU'.[0-3].CH;
y2 ::= NE'.[0-3].CH;
y3 ::= JU'.[117-123].CH;
y4 ::= NE'.[117-123].CH;
y5 ::= JU'.[147-153].CH;
y6 ::= NE'.[147-153].CH;
y7 ::= JU'.P.CH;
y8 ::= NE'.P.CH;
y9 ::= JU'.^P.CH;
y10 ::= NE'.^P.CH;
s1 ::= x1+x2+x3+x4+x5+x6+x7+x8+x9+x10+x11+x12+x13+x14+x15;
s2 ::= y1+y2+y3+y4+y5+y6+y7+y8+y9+y10;
s1+s2 >= 3