Μετατροπή τύπου σε Κανονική μορφή Prenex

[vladkatr]

Θα μπορούσε κάποιος να βοηθήσει στη μετατροπή αυτού του τύπου σε κανονική μορφή prenex;



Έχω αφιερώσει αρκετό χρόνο, αλλά δεν κατάφερα να βρω λύση. Οποιαδήποτε βοήθεια θα ήταν πολύ χρήσιμη! Ευχαριστώ!

[Μάρκος Βασίλης]

Δοκίμασε να γράψεις για αρχή τη διπλή συνεπαγωγή σαν σύζευξη δύο απλών και έπειτα χρησιμοποίησε την ταυτότητα (της προτασιακής λογικής) .

[vladkatr]

Εντάξει νομίζω πως βρήκα λύση

[Μάρκος Βασίλης]

Ωραία, αν θες ανέβασέ την κι εδώ, να τη δούμε.