logika ggg: cześć, jak przekształcić daną formułę do DPN? (p v q) ∧ (p ⋀ ~q) muszę sprawdzić metodą przekształcenia do postaci normlanej że jest to kontrtaurologia, dlatego chcę sprowadzić to do dysjunkcyjnej postaci normalnej.

ggg: pomoże ktoś?

aniabb: p ⋀ ~q ale to nie jest alternatywa

ggg: czyli ja tą formułę juz mam w dpn?

Adamm: to są już obie postaci

Adamm: w sensie zarówno DPN jak i KPN

ggg: dziękuję

ggg: a czy mogę w takim wypadku opuścić nawias i zapisać to tak:( p v q )∧p⋀~q?

Adamm: tak, koniunkcja jest łączna