Features of the methodology of the development of cadets’ physical qualities during kettlebell lifting activities

La metodología de los autores sobre el desarrollo de las cualidades físicas de los cadetes durante las actividades de levantamiento de pesas se confirma en el artículo y se verifica su eficiencia. 86 cadetes participaron en la investigación. Se formaron los grupos experimentales (EG, n=29) y control (CG, n=57). La investigación se realizó de acuerdo con las siguientes pruebas: carrera de 100 m, carrera de 3 km, inclinación hacia adelante del cuerpo, mantener el cuerpo en posición horizontal, ejercicio de barra de levantamiento, balanceo de cadera, flexión en barras paralelas, ejercicio de poder complejo. Al final del estudio, la mayoría de las pruebas establecieron un nivel significativamente mejor del desarrollo de las cualidades físicas de los cadetes. The authors’ methodology of the development of the physical qualities of cadets during kettlebell lifting activities is substantiated in the article and its efficiency is checked. 86 cadets participated in the research. The experimental (EG, n=29) and control (CG, n=57) groups were formed. The research was conducted according to the following tests: 100 m race, 3 km race, forward inclination of the body, holding the body in a horizontal position, pull-up bar exercise, hipswing-up, push-up on parallel bars, complex power exercise. At the end of the study, a significantly better level of the physical qualities’ development of cadets engaged in kettlebell lifting activities according to the authors’ methodology was established by the majority of tests

Devising A Method of Figurative Transformations for Minimizing Boolean Functions in the Implicative Basis

This paper reports a study that has established the possibility of reducing computational complexity while improving the productivity of simplification of Boolean functions in the class of perfect implied normal forms (PINF-1 and PINF-2) using a method of figurative transformations.The method of figurative transformations has been expanded to cover the process of simplifying the functions of the implicative basis by using the developed algebra of the implicative basis in the form of rules that simplify the PINF-1 and PINF-2 functions of the implicative basis. A special feature in simplifying the functions of the implicative basis on the binary structures of 2-(n, b)-designs) is the use of analogs of perfect disjunctive normal forms (PDNF) and perfect conjunctive normal forms (PCNF) of Boolean functions. The specified forms of the functions define transformation rules for the functions of the implicative basis on binary structures.It is shown that the perfect implicative normal form of n-place function of the implicative basis can be represented by the binary sets or a matrix. Logical operations over the structure of the matrix ensure the result from simplifying the functions of the implicative basis. This makes it possible to focus the minimization principle within the truth table of the assigned function and avoid auxiliary objects such as Carnot map, Weich charts, etc.The method under consideration makes it possible:– to reduce the algorithmic complexity of PINF-1 and PINF-2 simplification;– to improve the performance of simplifying the functions of the implied basis by 100‒200 %;– to visualize the process of PINF-1 or PINF-2 minimization;There is reason to argue that minimizing the functions of the implicative basis using a method of figurative transformations brings the task of PINF-1 and PINF-2 minimization to the level of well-researched problems within the class of disjunctive-conjunctive normal forms of Boolean function