Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems