Laws
Laws
Let a Î (aP - aQ), b Î (aQ - aP)
and {c,d} Í (aP Ç aQ)
then:
- (c ® P) || (c ® Q) = c ® (P || Q)
- (c ® P) || (d ® Q) = STOP if c ¹ d
- (a ® P) || (c ® Q) = a ® (P || (c ® Q))
- (c ® P) || (b ® Q) = b ® ((c ® P) || Q)
- (a ® P) || (b ® Q) = ( a ® (P || (b ® Q)) [] b ® ((a ® P) || Q) )