Wäre dies die Lösung zum ersten Beispiel.
E[p ↔q ...] = {(ww),(ff), (ff), (ww)}
Dies wären die Ergebnisse aus der Wahrheitstabelle für p↔q und ¬p↔¬q.
Ich finde leider keine Infos bzgl. welche Erfüllungsmenge zutrifft. Oder sind nur p und q gemeint. Dann wäre ja wie in jeder Wahrheitstabelle {(ww), (w,f) , (f,w), (f,f).