logika,alternatywa,implikacja revi: Zdefiniuj alternatywę przy pomocy implikacji. Zadanie z logiki. Proszę o pomoć i w miare proste wytłumaczenie o co w tym chodzi jak rozwiązywać tego typu zadania

Jack: p v q ⇔ (¬p→q) sprawdź sobie metodą tabelki, czy jest ok. skąd to wziąłem? Hm wiem, że prawem logiki jest coś takiego ¬p∨ q ⇔ (p→q) (i wstawiam sobie zamiast ¬p/p)

revi: dzięki Jack Mam jeszcze jedno pytanie dotyczące logiki. Udowodnij, że zbiór NAND jest funkcjonalnie pełny. Jak tego typu zadanie rozwiązać i co to znaczy, że zbiór może być funkcjonalnie pełny.

Jack: sprawdź na Wiki

revi: ok wiem ocb ale jest jakiś sposób który ułatwi udowodnienie, że np. zbiorem NAND da rade alternatwe przedstawić ? Czy po prostu trzeba szukać metodą tabelki, spr wartości etc. ?

revi: odświeżam i proszę o odpowiedz

Jack: ułatwi na pewno znajomość praw logiki (z de Morgana można zrobić koniunkcję, a równoważność pewnie jakoś dzięki implikacjom w obie strony). Ogólnie zawsze najprościej robić to na tablekach i szukać odpowiednich wyrazów.