Quasi-Boolean Equivalence


which ought to have the value true despite the fact that the second disjunct is undefined. Such expressions, sometimes called quasi-boolean [7], are traditionally handled by the conditional connectives cand and cor [6] [9]. However, these do not satisfy pleasant algebraic laws and their use tends to complicate calculations to an unacceptable degree. In the… (More)
DOI: 10.1016/0020-0190(93)90211-Q


  • Presentations referencing similar topics