prosty dowód logic: Wykaż, że nie można zdefiniować alternatywy za pomocą samej równoważności i negacji. Jak to najłatwiej wykazać? Dla mnie od razu widać, że jedynki i zera w równoważności zamieniają się tylko miejscami, ale czy to i krótki komentarz wystarczą? Z góry dzięki

logic: *w sensie rozpoczęciu wypisywania w tabelce to widać, ale czy to z krótkim komentarzem wystarczy?

jc: Kolejne kolumny w tabelce będą wypełnione parzystą liczbą jedynek. Równoważność dwóch kolumn z parzystą liczbą jedynek, daje kolumnę z parzystą liczbą jedynek. Negacja kolumny z parzystą liczbą jedynek, daje kolumnę z parzystą liczbą jedynek. W przypadku alternatywy mamy nieparzystą liczbę jedynek.

logic: dzięki, mniej więcej tak to też widziałem