Spójnik kreska: Pokaż, że za pomocą spójnika NAND da się przedstawić alternatywę, koniunkcję i negację. NAND = ~(p ⋀ q) ~p = ~(p ⋀ p) = ~p p ⋀ q = ~(~(p ⋀ q) ⋀ ~(p ⋀ q)) = ~(~(p ⋀ q)) = p ⋀ q Nie mam pomysłu na alternatywę

Pytający: https://en.wikipedia.org/wiki/NAND_logic#OR

kreska: dzieki masz piwo