Waiting for answer This question has not been answered yet. You can hire a professional tutor to get the answer.
use the DPLL algorithm to prove that K1,3 is 2-co
use the DPLL algorithm to prove that K1,3 is 2-colourable and that
the triangle is not 2-colourable.