Zapisz spójnik <=> tylko za pomocą spójnika NOR. Milan: Zapisz spójnik <=> tylko za pomocą spójnika NOR. Mój problem polega na tym, że moje rozwiązanie zajmuje bardzo dużo miejsca i jest tam masę nawiasów. Wydaje mi się, że da się to zapisać w krótszy i prostszy sposób. Proszę o pomoc.

Pytający: Chyba tak będzie najkrócej: p <=> q ∼((∼p ∧ q) ∨ (p ∧ ∼q)) ∼(∼(p ∨ ∼q) ∨ ∼(∼p ∨ q)) (p nor (q nor q)) nor ((p nor p) nor q)

Milan: Wielkie dzięki. Czy poniższą linijkę (((p NOR p) NOR q) NOR ((p NOR p) NOR q)) NOR (((p NOR p) NOR q) NOR ((p NOR p) NOR q)) można zapisać w skrócie ((p NOR p) NOR q) ?

Pytający: Tak. (x nor x) nor (x nor x) (∼x) nor (∼x) ∼(∼x) x

Milan: Ok dzięki.