Additional New Logical Identities Related to Propositional Logic. - Nesreen A. Hamad; Maher A. Nabulsi (ICIT, 2021)

Examining the Validity of Inference Rules: Utilizing Truth Tables and Contrapositive Analysis. - Fatima M. D. Quiam; Assal A. M. Alqudah; Maher A. Nabulsi; Shadi AlZu'bi (ICIT, 2023)