Fatima M. D. Quiam, Assal A. M. Alqudah, Maher A. Nabulsi, Shadi AlZu'bi. Examining the Validity of Inference Rules: Utilizing Truth Tables and Contrapositive Analysis. In International Conference on Information Technology, ICIT 2023, Amman, Jordan, August 9-10, 2023. pages 620-624, IEEE, 2023. [doi]
Abstract is missing.