F (A, B, C) = ( (A⇔ (¬B) ) ∧C) ∨ ( (¬A→C) Mi ennek a formulának a teljes diszjunktív normálformája?

(¬A→C) = ¬C∨¬A = C∧A

A⇔¬B = (A∧¬B)∨(¬A∧B)

((A⇔(¬B))∧C) = (A∧¬B∧C)∨(¬A∧B∧C)

az egész:

(A∧¬B∧C)∨(¬A∧B∧C)∨(C∧A)

Az összefüggéseket innen lestem:

[link]

Lehet elrontottam valahol.

A harmadik oldalon van példa a táblázatos módszerre:

[link]

A másik (nehezebb) módszert pedig az előző már leírta. Viszont nem árt tudni a nehezebbik módszert is levezetni, mert a táblázatos módszer sima normálforma esetén nem mindig a lehető legegyszerűbb alakot adja ki, ami bizonyos feladatokhoz szükséges lenne.