SOLVING LOGICAL PROBLEMS BY EQUIVALENT TRANSFORMATION