[P] Despeje de literales y ecuaciones lineales