Zmiana z CNF na DNF

[mattik]

Jak wygląda zamiana takiej formuły \(\displaystyle{ ((q \vee r) \neg p)}\) na DNF? Prosiłbym o wytłumaczenie jak przebiega ten proces, ponieważ średnio sobie z tym radzę

[Jan Kraszewski]

Jak wygląda zamiana takiej formuły \(\displaystyle{ ((q \vee r) \neg p)}\) na DNF?

Zacznijmy od tego, że to nie jest formuła - zgubiłeś jeden spójnik.

JK

[mattik]

Jak wygląda zamiana takiej formuły \(\displaystyle{ ((q \vee r) \neg p)}\) na DNF?

Zacznijmy od tego, że to nie jest formuła - zgubiłeś jeden spójnik.

JK

Rzeczywiście, chodziło mi oczywiście o \(\displaystyle{ ((q \vee r) \wedge \neg p)}\).

[Jan Kraszewski]

Skorzystaj z rozdzielności koniunkcji względem alternatywy.

JK