Les ensembles consistants

Sujet du devoir

Vérifier la consistance de l'ensemble de formules ci-dessus en utilisant une autre méthode que la méthode des arbres de vérité (et autre que deviner la distribution des valeurs).
T = {p ^ q,¬q V ¬p}

Où j'en suis dans mon devoir

Bonjour à tous, ce travail me dépasse complètement. Je ne saurais, pour le moment, le réaliser seul.