3 negazioni con 2 sole porte NOT

Il forum di Base5, dove è possibile postare problemi, quiz, indovinelli, rompicapo, enigmi e quant'altro riguardi la matematica ricreativa e oltre.

Moderatori: Gianfranco, Bruno

Rispondi
LampGenius
Nuovo utente
Nuovo utente
Messaggi: 9
Iscritto il: mer giu 27, 2007 11:28 am
Località: Vigevano
Contatta:

3 negazioni con 2 sole porte NOT

Messaggio da LampGenius »

Buongiorno,

Mi son ricordato che un paio di anni fa vi avevo gia' incrociati.
Avevate un un forum su di un'altra piattaforma. (VoyForum o qualcosa del genere).
Su quel forum un giorno qualcuno posto':
Date Posted: 3/05/05 14:11:16
Author: mnl
Subject: circuiti di negazione

Salve, volevo proporvi un problema che non e' propriamente matematico ma "elettronico", anche se secondo me e' facilmente riconducibile alla matematica binaria.

Chiedo scusa se lo conoscete gia'!

Il problema e' il seguente:

Dati tre input logici A, B e C, disegnare un circuito logico che fornisce, in output, i tre segnali NOT(A), NOT(B) e NOT(C). Il circuito puo' contenere qualsiasi numero di componenti AND e OR, ma non piu' di due componenti NOT.

Mi hanno assicurato che la soluzione esiste (anzi, ne esistono parecchie) ma la mia scarsa preparazione e propensione alla risoluzione di questi problemi non mi ha aiutato.

Se per caso ne conoscete gia' una, gradirei un riferimento e di nuovo chiedo scusa per il "disturbo".

Grazie per l'attenzione e un saluto a tutti.

Alla fine postai io quella che credo sia una soluzione (che per ora rimuovo nel caso vogliate ancora cimentarvi, comunque e' ancora la') ponendo un'altro quesito a cui non fu mai data risposta probabilmente perche' vi eravate gia' spostati:

[> Re: circuiti di negazione -- LampGenius, 30/06/05 18:08:03 [1]

Ecco la mia soluzione (spero)

La notazione usata è:
X Y = X AND Y;
X + Y = X OR Y;
/X = NOT X

Dati tre ingressi A, B, C con i seguenti passaggi si arriva alla soluzione:

...OMISSIS...

Ecco e dopo questa soluzione qualcuno sa dimostrare che si possa realizzare qualsiasi circuito combinatorio con solo due inverter e porte AND o OR ?
Divertitevi

Ciao, Giovanni
Al mondo esistono 10 categorie di persone: chi conosce il codice binario e chi no!

Visitate il forum della CAT http://cat.forumfree.net/

Pasquale
Livello 12
Livello 12
Messaggi: 2854
Iscritto il: mer mag 25, 2005 2:14 am

Messaggio da Pasquale »

Dunque Lamp, ricordo il problema e come hai giustamente supposto, a suo tempo il post non fu letto.
Ho provveduto adesso, ma ho qualche dubbio sugli ulti 3 passaggi (24,25,26), per cui mi faresti un favore se potessi svilupparli passo, passo (comunque potrò rileggerti solo fra qualche tempo).
Grazie
_________________

$\text { }$ciao Immagine ciao
E' la somma che fa il totale (Totò)

Admin
Amministratore del sito
Amministratore del sito
Messaggi: 870
Iscritto il: mer apr 20, 2005 3:47 pm
Località: Benevento

Messaggio da Admin »

Ciao LampGenius,
mi era sfuggito questo tuo topic.

Ricordo che la soluzione postata sul vecchio forum era un pò lunghetta, e non la provai.
Di recente però, girovagando per la rete mi sono imbattuto in una soluzione elegante (forse è una minimizzazione della tua soluzione).

E' la seguente ($+$ = OR, $\cdot$ = AND, $'$ = OR) :

$N_{\small1} = (\/I_{\small1} \cdot I_2\/+\/I_{\small1} \cdot I_3\/+\/I_2 \cdot I_3\/)'$
$N_2 = (\/(I_{\small1} + I_2 + I_3)\/\cdot N_{\small1}\/+\/ I_{\small1} \cdot I_2 \cdot I_3\/)'$
$O_{\small1} = (\/I_2 + I_3 + N_2\/) \cdot N_{\small1}\/+\/I_2 \cdot I_3 \cdot N_2$
$O_2 = (\/I_{\small1} + I_3 + N_2\/) \cdot N_{\small1}\/+\/I_{\small1} \cdot I_3 \cdot N_2$
$O_3 = (\/I_{\small1} + I_2 + N_2\/) \cdot N_{\small1}\/+\/I_{\small1} \cdot I_2 \cdot N_2$

dove $I_{\small1}$, $I_2$ e $I_3$ sono gli ingressi, $O_{\small1}$, $O_2$ e $O_3$ sono le uscite, e $N_{\small1}$ e $N_2$ sono valori intermedi utilizzati per semplificare la scrittura.

Si verifica facilmente che
$I_{\small1} = (O_{\small1})'$
$I_{\small2} = (O_{\small2})'$
$I_{\small3} = (O_{\small3})'$

Ciao
Admin
Pietro Vitelli (Amministratore del Forum)
"Un matematico è una macchina che converte caffè in teoremi" Paul Erdös
www.pvitelli.net

Rispondi