QUESTIONS TO INTERPRETATION RESULTING FORMING ALGEBRAIC MODEL OF CONSTRUCTIVE LOGIC
The algebraic model of constructive logic is intended for analysis with many factor in different area of expertise and is used in medicine and biology's for performing different complex analytical calculation. The mathematical model is presented by set of the resulting component, in which factors with limit of the determination are united through sign of the conjunctions with the other factor and instruction to powers of this influence on result. Each resulting forming is united with other resulting forming through sign of the disjunctions and in such type they form the form, not allowing her its the most further simplification. Most often in got mathematical model use the main resulting forming (with greater importance's of the powers), for what use the different algorithms of their separation. The purpose persisting work is a development approach to analysis not powerful resulting forming algebraic model of constructive logic. In article analyses resulting forming are divided into 4 types: coinciding target and нецелевые of the resulting component; the main resulting forming (with excluded not powerful resulting forming) and without forming 1 type; resulting forming with excluded main by resulting components and forming 1 type; resulting forming 3 types, in which no powerful resulting forming with truncated limit of the determination analyses factor. The offered algorithm of the accompaniment additional resulting forming with truncated limit of the determination analyses factor to the main to resulting components. In conclusion is offered analyzes all types of the resulting component, including resulting forming small power, as well as is offered for relief of the analysis resulting forming third type reasonable on the base existing algorithm of the calculation to maximum power resulting forming at building of the expert system to develop the special algorithm for analysis.