设r和s分别是正规式，则有L（r|s）=L（r）L（s）。