Portillo-Quintanilla, M. E.; Santos-Pineda, W. R. State of the Art on Research in the Resolution of Logic and Probability Problems. RECSP 2023, 6, 40-49.