Reconnaître les clauses de cornes

Question

J'étudie actuellement la théorie du modèle et j'essaie de décider si une clause est une clause de cor. Je sais qu'une clause de cor est une clause avec au plus un littéral positif, mais il y a des clauses qu'il n'est pas facile de décider si elles sont du klaxon ou non.

Par exemple,

(P->Q)->W

Existe-t-il un moyen de décider si cette clause est un klaxon ou non, ou dois-je faire d'autres calculs afin de le porter à un formulaire de disjonction?