Fissiamo dei concetti:
- Variabile: Assume valori dell’alfabeto di supporto
- Espressione: Variabili legate da operatori
- Funzione: Cosa vogliamo rappresentare tramite delle espressioni
Esempio:
Notiamo che possiamo rappresentare una funzione in più modi ma preferiamo scegliere quella con meno porte o meno input letterali, in questo caso il circuito di sinistra
Andiamo a costruire la tavola di verità:
Costruire l’intera tabella è anche chiamato metodo dell’induzione perfetta.
Dualità
Un’espressione E1 è la duale di un’espressione E2 se differisce per gli operatori (OR e AND sono invertiti) e per il valore delle costanti
Funzione complementare
Assiomi e proprietà possono essere applicati alle funzioni, calcoliamo ad esempio la funzione complementare di
N.B. si può ottenere la funzione complementare anche passando alla duale e poi complementando ogni letterale