Formule equivalenti con CNF diverso

Question

Non sono stato in grado di trovare o trovare due formule equivalenti ma che hanno CNF diverso. Tutte le mie idee si riducono alla stessa formula dopo aver applicato le trasformazioni. I requisiti sono i seguenti:

Dai un esempio che dimostra che dimostrare l'equivalenza di due formule portandole in forma normale congiuntiva è incompleta. Per incompletezza, intendiamo che ci sono esempi di formule equivalenti ma la loro forma normale congiuntiva non è la stessa.