Assuming = {p, q, r, s}, find ALL minimal models of the program: {pVq,rp, sq}