Příklady od Vás: vyrokova logika

Dobry den,

potrebovala bych opet pomoct s vyrokovou logikou.

Priklad: Vyjádřete formuli v DNF pomocí úprav (a ↔b) → (c v d)    

Chapu ze potrebuji formulu A upravit tak, aby mela tvar disjunkce a jeji kazdy clen byl konjunkci literalu.

Pouzila bych na to zakon na prevod funktoru, ale nevim ktery presne: 

1• ⊨ (p ↔ q)  je↔ s  (p → q) & (q → p)
2• ⊨ (p ↔q)  je ↔ s  (p & q) V (¬q & ¬p)
3• ⊨ (p → q) je ↔ s  (¬p V q)

Nevim, zda mam udelat prvni zavorku ekvivalence dle 1. nebo 2. nebo nejdriv udelat implikaci zavorek podle 3. Podle mne bych mela nejdriv udelat implikaci zavorek coz by bylo

¬(a↔b) V (c V d) ... kdyz zneguju ekvivalenci tak dostanu 

(¬a ↔ b) V (c V d)  a ted nevim vubec co dal , zadny zakon mi tam nesede 

Dekuji za radu