A diszjunktív normálforma, röviden DNF egy olyan alakja egy logikai formuláknak, ahol a művelet a változóinak vagy negáltjainak konjunkcióinak diszjunkciója.
A diszjunktív normálforma, röviden DNF egy olyan alakja egy logikai formuláknak, ahol a művelet a változóinak vagy negáltjainak konjunkcióinak diszjunkciója.
Mi a teljes diszjunktív normálformája?
a) \( A \Rightarrow \left( B \wedge C \right) \)
b) \( \left( A \Leftrightarrow B \right) \wedge \neg A \)
c) \( \left( A \Rightarrow B \right) \wedge \left( A \vee B \right) \)