A Topology Graph Algorithm Based on Lattice-Valued Logic to Solve Satisfiability Problems

Figure 3

The one-layer branch topology of other clauses.