Logika, zbiory zonanimo3333: teza: (p /\ −q) v (−p /\ q) <=> (p v q) /\ −(p /\q) gdzie "−" to zaprzeczenie

zonanimo3333: Prosiłbym o ewentualne wskazówki

ite: Trzeba zamienić zaprzeczenie koniunkcji (pr.de Morgana) i skorzystać z prawa rozdzielności koniunkcji względem alternatywy i alternatywy względem koniunkcji. Łatwiej zacząć przekształcać od prawej strony.

zonanimo3333: No dobrze, czyli P = (p v q) /\ (−p v −q) Jak to dalej rozpisać korzystając z praw rozdzielności?

ite: (p v q) ∧ (¬p v ¬q) ⇔ ⇔ /rozdzielność alternatywy względem koniunkcji/ [p ∧ (¬p v ¬q)] ∨ [q ∧ (¬p v ¬q)] ⇔ i teraz zastosuj rozdzielność koniunkcji względem alternatywy wewnątrz nawiasów kwadratowych