Теория и практика защиты программ

       

представляет собой правило вывода


Правило вывода DC2 – «Разделяй и властвуй»

If

{V1} OP {Р1} and

{V2} OP {Р2}

then

{V1 or V2} OP

{P1 or P2} <

Правило вывода DC3 – «Разделяй и властвуй»

If

{V} OP {Р1} and

{V} OP {Р2}

then

{V} OP {P1 and P2} <

Правило вывода DC3

представляет собой правило вывода DC1

при V=V1=V2.

Правило вывода DC4 – «Разделяй и властвуй»

If

{V} OP {Р1} and

{V} OP {Р2}

then

{V} OP {P1 or P2} <

Правило вывода DC4

представляет собой правило вывода DC2

при V=V1=V2.


Содержание раздела