Time-Free Solution to SAT Problem by Tissue P Systems

Figure 1

The division process of variables.