摘要 |
<p>Very complex, multilevel, logical expressions are represented in vector format (step 1). The logical is simplified by identifying opposing couples, a literal and its negation, and replacing symmetrical logic expressions attached to the opposing couples with a single version. (Term 1, Term 2, Term3).</p> |