First pic is question, second pic is an example. thanks.

Use SP splitting algorithen to prove that T( AB) is unsatisfiable Splitting algorithm, example -((p 9) (PA) (P+)) GT 1 T TVAT ATT TAA ATA TAA (p+()) -((p + r) + (pr)) P P=0 LAAI IVAA AL LAT AL LA -(-) 2/9