представляет собой правило вывода
Правило вывода 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.