logika xbc: a. Pokaż, że za pomocą koniunkcji i alternatywy nie można zdefiniować negacji. b. Pokaż, że za pomocą alternatywy i koniunkcji nie można zdefiniować implikacji. c. Wyraź koniunkcję, alternatywę i równoważność za pomocą spójnika Pierce`a proszę o pomoc, w podpunkcie a i b nie chodzi tylko o to by wykazać, że nie są tautologiami

xbc: up

Sławek: a↓b =a'b' = (a+b)' a' = (a+a)' ab =(ab)'' = (a'+b')' = ((a+a)' + (b+b)')'