zbiór zupełny nor: Wykazać że zbiór {↓} jest zupełny.

Adamm: ?

Adamm: Co to jest zbiór zupełny?

nor: (Def.) Zbiór spójników logicznych jest zupełny, jeżeli dowolną funkcję boolowską można opisać za pomocą formuły zdaniowej zawierającej jedynie spójniki z tego zbioru i zmienne.

Adamm: A okej. No to ↓ to jest w takim razie xor. Zapisz rodzinę spójników o których wiesz że jest zupełna za pomocą ↓

chichi: wskazówki: (1) ¬x ≡ x↓x (2) x↓y ≡ ¬(x ∨ y)

ite: Tu nie chodzi o XOR (alternatywa wykluczająca), ona utworzy zbiór zupełny tylko z koniunkcją i verum (zawsze prawda czyli stała 1). Pytanie dotyczy ↓ binegacji (NOR), tak jak we wpisie chichiego.

Adamm: @ite dzięki za poprawienie Wiedziałem że istnieją tylko dwie binarne operacje logiczne które są zupełne, tylko zapomniałem nazwy