logika logika: Jak mam formułę np. (p⇒q)⇔(¬p∧q), którą mam sprowadzić do APN i KPN, to robię tabelkę wartościowań i tam gdzie formuła przyjmuje 0 robię KPN, a tam gdzie 1 APN. Pytanie jednak co dokładnie muszę utworzyć dla danego wartościowania? Mam np. p=1, q=1 (i to są jedyne zmienne zdaniowe) i chce mieć KPN czyli formuła przyjmuje 0 to tworzę jakąś formułę, która zawiera wszystkie zmienne zdaniowe i przyjmuje 0, np. ¬p∧¬q?

logika: w ostatniej linijce zamiast ∧ chciałem napisać v

logika: ?

logika: Powiedzcie proszę czy tak jest, bo na zajęciach mówiono o tym, że muszą być przeciwne literały w każdym nawiasie w KPN, a tutaj tak nie mam..