ГОСТ Р ИСО 10303-11— 2009
Для объекта I:
С$ = [akb kdkfkkklkykz, a k b k d k fk k k lk x k y k z . akb kd kfklkz. akbkd kfklkxkz,
akbkd kfklkykz. akb kd kfklkxkykz. akbkdkl,
akckd kfkkklkykz, akckd kfkkklkxkykz, akckd kfklkz, akckd kfklkxkz.
akckd kfklkykz, akckd kfklkxkykz, akckd kl]:
Cf = [akb&dkf&k&.l&ykz. a&b&d&f&k&l&x&y&z. akbAdAfklkyAz, a&b&d&f&lkx&y&z,
akckd kfkkklkykz. akckd kfkkklkxkykz. akckd kfklkykz. akckd kfklkxkykz.
akfklkykz. akfklkxkykz, Ikxkykz. Ikykz);
P, = [a&b&c&d&f&k&l&y&z. a&bkc&d&f&k&lkx&y&z, a&b&c&f&k&l&y&z,
a&b&c&f&l&x&y&z, a&b&d&fkk&l&y&z, a&b&d&f&k&l&x&y&z, akb&d&f&l&ykz,
a&b&d&f&l&x&y&z, a&b&d&l&x&y&z. a&bkd&l&y&z, a&c&d&f&k&l&y&z,
a&c&d&f&k&l&x&y&z, akckd kfklkykz, akckd kfklkxkykz, akckdklSuekykz,
a k c kd klkykz);
X( = [akb kd kfkkklkykz, akbkd kfkkklkxkykz. akbkd kfktkz, akbkd kfklkxkz.
akbkd kfklkykz, akbkd kfklkxkykz. akbkdkt. akckd kfkkklkykz,
akckd kfkkklkxkykz, akckd kfklkz, akckd kfklkxkz. akckd kfklkykz,
akckd kfklkxkykz, akckdkl. akfklkykz, akfklkxkykz, Ikxkykz, Ikykz].
Новое множество R = (R—X,) + P, тогда равно: [a. akbkckdkfkkklky&z. akbkckdkfkkklkxkykz,
akb kckfklkykz. akb kckfklkxkykz, akb kd kfkkklkykz, akb kd kfkkklkxkykz.
akbkd kfkkkxkz, akbkd kfkkkykz, akb kd kfkkkxkykz. akbkdkfkkkz. akb kd kfklkykz,
akb kd kfklkxkykz. akbkdkk. akbkdktSuckykz. akbkd klkykz. akckd kfkkklkxkykz,
akckd kfkkklkykz. akckd kfklkykz. akckd kfklkxkykz. akckd kfkkkxkz, akckd kfkkkykz,
akckd kfkkkxkykz. akckdkfkkkz. akckdkk. akckd klkxkykz. akckd klkykz. akfkz.
akfkxkz, akfkykz, akfkxkykz, xkykz, xkz, ykz, zj.
Выполняя шаг no перечислениюj) для каждого ограничения ONEOF. получаем:
ONEOF (b, с):С,1’2 = №*е];
О, = [Ькс].
В результате удаления О, из R в соответствии с шагом по пункту 3) перечисления j) из R
удаляются следующие элементы:
[akb kckd kfkkklkykz, akb kckd kfkkklkxkykz. akb kckfklkykz. akb kckfklkxkykz].
Следовательно, мы имеем следующее множество:
R = [a. akbkd kfkkklkykz, akbkd kfkkklkxkykz. akbkdkfkkkxkz. akbkdkfkkkykz,
akbkd kfkkkxkykz. akbkdkfkkkz, akbkd kfklkykz, akb kd kfklkxkykz. ate k d k k.
a&b&d&l&xkyScz. akbkd klkykz, akckd kfkkklkxkykz. akckd kfkkklkykz. akckd kfklkykz,
akckd kfklkxkykz, akckd kfkkkxkz. akckd kfkkkykz, akckd kfkkkxkykz. akckd kfkkkz.
akckdSik, akckdklkxkykz, akckdklkykz. akfkz. akfkxkz, akfkykz, akfkxkykz. xkykz. xkz,
ykz. zj.
ONEOF (k./):
2 =[kkl]-,
D2 » [« */].
Врезультатеудаления D2u3Re соответствии с шагомпо пункту3)перечисленияj) из R удаляют
ся следующие элементы:
[akb kd kfkkklkykz. akb kd kfkkklkxkykz. akckd kfkkklkykz, akckd kfkkklkxkykz].
Следовательно, мы имеем следующее множество:
R = [a, akbkdkfkkkxkz. akbkdkfkkkykz, akbkdkfkkkxkykz, akbkdkfkkkz. akbkdkfklkykz,
akbkd kfklkxkykz, akbkdkk. akbkd klkxkykz, akbkd klkykz. akckd kfklkykz,
akckd kfklkxkykz. akckd kfkkkxkz, akckd kfkkkykz, akckd kfkkkxkykz. akckd kfkkkz,
akckdkk, akckdklkxkykz. akckdklkykz, akfkz, akfkxkz. akfkykz. akfkxkykz, xkykz, xkz,
ykz. z}.
Выполняя шаг no перечислению k) для каждого ограничения AND, получаем:
ONEOF (b. с) AND d:Q1
= [bkd. ckd];
of
=[];
of
=□;
of =[];
o, = [].
136