Non-consistency of stress results is of ten observed during field measurements. In some cases, even the rneasurernents are made at the same location in a massiv
Based on the common properties of logic formulas:equivalence and satisfiability,the concept of variable minimal formulas with property preservation is introduce