posted on 2024-07-13, 06:56authored byMan LauMan Lau, Ying Liu
In this report, we study double faults related to term and literal in Boolean expressions. Similar to previous studies, we study double faults related to term and literal with or without ordering. It will help us to obtain better understand how these double faults occur in Boolean expression. Moreover, we further investigate the relationship of faulty expressions from these two categories. The study of the relationship not only gives us a clear understanding on how two individual faults interact with each other, but also help us enumerate all possible faulty expressions that can represent all double faults related to term and literal. The rest of the report is organized as follows. Section 2 introduces the notation and fault classes studied in this report. Sections 3 and 4 present different categories of double fault classes and their corresponding faulty expressions. Section 5 studies the relationships of double faults defined in Sections 3 and 4. Section 6 concludes the report.