Wiem, że się ze mną nie zgodzisz. Zastanawiam się jednak czy znajdziesz dla tego jakiekolwiek uzasadnienie - czy też tylko rozmyjesz odpowiedź tak aby nic z niej nie wynikało

.
Wg mnie operatory NOT i NOR są niepoprawnie zdefiniowane.
Oba te operatory są w rzeczywistości trzyargumentowe.
Zanim je zdefiniuję wpierw uzasadnienie.
Wg mnie niemożliwa jest sytuacja aby z samej prawdy wynikała nieprawda i odwrotnie aby z samej nieprawdy wynikała prawda. Jeżeli wynikiem jest prawda to jeden z argumentów musi być zawsze prawdziwy. Jeśli wynikiem jest nieprawda to jeden z argumentów musi być zawsze nieprawdziwy.
Dostrzegli to inżynierowie zajmujący się konstrukcją bramek logicznych i oni budują w rzeczywistości operatory trzyargumentowe choć wszystkim się zdaje, że to jest operator jedno i dwuargumentowy. Proponuję się przyjrzeć dokładnie konstrukcji bramek logicznych NOT i NOR oraz AND i OR dla porównania.
Aby to lepiej wyjaśnić.
Jeśli prawdą jest ruch ładunków elektrycznych - to nieprawdą jest zdarzenie (przemiana, kanał) pochłaniające energię prądu elektrycznego i powodujące zatrzymanie ładunków.
Wg mnie definicje powinny wyglądać tak:
NOT
p - zawsze prawda
q - argument determinujący
r - zawsze nieprawda
| 1 0 0 | 1
| 1 1 0 | 0
NOR
p - argument determinujący
q - argument determinujący
r - zawsze prawda
| 0 0 1 | 1
| 0 1 1 | 0
| 1 0 1 | 0
| 1 1 1 | 0
Nie znam konstrukcji bramek logicznych ale bez tej znajomości wiem, że w bramce NOT obok kanału wejścia dla "argumentu logicznego" wystąpią obok dodatkowe źródło zasilania stanowiące o "zawsze prawda" oraz pochłaniacz energii elektrycznej (przemieniający ją np. w ciepło) stanowiący o "zawsze nieprawda".
I podobnie z NOR oprócz dwóch wejść dla dwóch "argumentów logicznych" obok wystąpi dodatkowe źródło zasilania stanowiące o "zawsze prawda"
No i odpowiedź bo już zapomniałbym.
Dwuargumentowe AND i OR wynikają z trzyargumentowego NOR ponieważ się w nim zawierają. Trzyargumentowy NOR nie zawiera się w dwuargumentowym OR i nie może z niego wynikać.
Jak z liczbami 2 wynika z 6 bo się w 6 zawiera. 6 nie wynika z 2.
Pozdrawiam
Krystian Hamerlik-Konopka