5. Development and Implementations of TRIZ Theory - 5.3 Logic of ARIZ