Lezione 5. Sommario. La logica booleana. I principi della logica booleana Gli operatori logici

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Lezione 5. Sommario. La logica booleana. I principi della logica booleana Gli operatori logici"

Transcript

1 Lezione 5 La logica booleana Sommario I principi della logica booleana Gli operatori logici 1

2 Variabili Booleane Variabile booleana=quantità che può assumere solo due valori I due valori hanno il significato di: vero o falso Per convenzione si rappresentano come: Vero=1 Falso=0 Logica Booleana Logica di Boole o Logica Booleana è la teoria che tratta la manipolazione di variabili booleane L aritmetica è la teoria che tratta la manipolazione dei numeri La Logica Booleana fa uso di alcuni operatori In aritmetica gli operatori sono ad esempio: + - La combinazione degli operatori e delle variabili permette di definire le funzioni booleane 2

3 Le funzioni Booleane Le funzioni booleane sono caratterizzate da una o più variabile di ingresso e una variabile di uscita In aritmetica una funzione ha il seguente aspetto: z=3 x + 2 y dove x e y sono variabili di ingresso e z è la variabile di uscita Le variabili di ingresso sono dette indipendenti, cioè possono assumere liberamente qualsiasi valore La variabile di uscita è detta dipendente, cioè una volta stabilito il valore assunto dalle variabili di ingresso, è obbligata ad assumere un valore Rappresentazione degli operatori della logica booleana Esistono due modi per rappresentare gli operatori booleani: rappresentazione algebrica rappresentazione circuitale Rappresentazione Algebrica: per rappresentare gli operatori si utilizzano dei simboli Rappresentazione Circuitale: è una rappresentazione grafica dove gli operatori sono rappresentati mediante porte collegate da segmenti 3

4 Esempi di rappresentazioni Funzione in rappresentazione algebrica: U=((X.Y)+X.Z)? Y Funzione in rappresentazione circuitale: X Y Z U DIREZIONE DEL SEGNALE Rappresentazione Circuitale Nella rappresentazione circuitale il valore delle variabili è un segnale Un segnale è qualcosa (attività elettrica) che può essere presente o assente Per convenzione se presente è identificato con il valore 1 se assente con il valore 0 Il segnale può fluire in una unica direzione Si può pensare alle porte logiche come a piccoli dispositivi che prendono in ingresso un segnale e restituiscono in uscita un segnale trasformato 4

5 Tabella della verità Una funzione booleana può essere rappresentata in modo esaustivo (ma non compatto) tramite una tabella della verità la tabella contiene una colonna per ogni variabile di ingresso una colonna per ogni variabile di uscita una riga per ogni combinazione delle variabili di ingresso tante righe quante sono tutte le possibili combinazioni di di valori che gli ingressi possono assumere in corrsipondenza dei valori di ingresso è riportato il valore assunto dalla variabile di uscita Esempio di tabella di verità Funzione in rappresentazione algebrica: U=((X.Y)+X.Z)? Y Funzione in rappresentazione tabellare: X Y Z U

6 Esempio di rappresentazione tabellare in aritmetica Funzione in rappresentazione algebrica: Y=1+2X Funzione in rappresentazione tabellare: X Y Operatori booleani Gli operatori sono: NOT: inversione AND : e OR: o EXOR o XOR: uno dei due 6

7 NOT L operatore NOT restituisce l opposto del valore della variabile di ingresso Tabella X U Circuito Algebra: U=X X U AND L operatore AND si applica a due variabili di ingresso. Ritorna 1 solo se entrambe sono 1. Tabella Circuito X Y X Y U U Algebra: U=X Y 7

8 OR L operatore OR si applica a due variabili di ingresso. Restituisce 0 solo se entrambe sono 0. Tabella X Y U Circuito X Y U Algebra: U=X+Y EXOR L operatore EXOR o XOR si applica a due variabili di ingresso. Restituisce 1 solo se solo una delle due è 1. Tabella Circuito X Y X Y U U Algebra: U=X Y 8

9 Un operatore + l operatore NOT Si può rappresentare la successione di un operatore AND, OR, XOR e l operatore NOT in modo compatto con: X U Y X U Y X Y U Esempio Ad una festa in maschera il padrone di casa costruisce un rilevatore automatico di costume per determinare quali persone ammettere. La regola è la seguente: le persone devono avere baffi finti e occhiali inoltre devono avere o scarpe da pagliaccio o cappello da pirata oppure devono avere un vestito in maschera completo ma non è ammesso chi ha un cane Un custode preme i tasti di un circuito e in risposta ottiene/non attiene un segnale se la persona è ammessa/non ammessa 9

10 Esempio... La prima condizione è che debbano avere sia baffi finti che occhiali Baffi Ok Occhiali Esempio... Inoltre è necessario avere anche scarpe da pagliaccio o cappello da pirata Baffi Occhiali Ok Scarpe Cappello 10

11 Esempio... Chi ha un qualsiasi vestito completo può entrare indipendentemente dalle altre condizioni,... Baffi Occhiali Scarpe Cappello Ok Vestito Esempio. ma chi ha un cane non può assolutamente entrare Baffi Occhiali Scarpe Cappello Vestito Ok Cane 11

12 Esempio Circuito con interruttori e lampadina: Se un interrutore A è aperto allora la corrente non può passare, non c e segnale, A=0 Se un interruttore A è chiuso allora la corrente passa, c è segnale, A=1 A B OR A B A B AND A B Esercizio Dato un circuito elettrico per l accensione di una lampadina determinare la funzione booleana che dà le condizioni per cui la lampadina è accesa. 12

13 Passare dalla Tavola della Verità alla Funzione Algebrica Data una tavola della verità si può ricavare la funzione booleana nel seguente modo: Si consideri solo le righe della tavola per le quali la variabile di uscita è vera Infatti vogliamo scrivere le condizioni che rendono vera la funzione. Necessariamente qualsiasi combinazione di valori delle variabili in ingresso che non rendono vera la funzione la rendono falsa. Una riga corrisponde a porre in AND i valori di tutte le variabili Considerare due o più righe corrisponde a porre in OR le espressioni trovate per le righe Esempio Data la seguente tavola della verità: X Y Z U si considerano solo le righe che rendono vera la variabile di uscita 13

14 Esempio Si considera una riga: X Y Z U quale è la relazione che lega i valori delle variabili in ingresso affinche la variabile di uscita sia vera (1)? X. Y. Z = 1 Esempio E procedendo analogamente per tutte le righe: si ottiene: X Y Z U X. Y. Z = 1 X. Y. Z = 1 X. Y. Z = 1 14

15 Esempio La variabile U è vera quando almeno una delle tre condizioni trovate è vera Il valore di verità per la variabile U si ottiene pertanto ponendo in OR lee condizioni trovate: X.Y.Z + X.Y.Z + X.Y.Z = U Passare da una funzione alla Tavola della Verità Data una funzione la si scompone in termini elementari Si riportano i valori assunti da termine elementare in una colonna distinta della tavola della verità Si usano i risultati parziali come valori di ingresso per le espressioni successive Si determinano le variabili di uscita 15

16 Passare da un Circuito Logico alla Tavola della Verità Dato un circuito logico si determina l uscita di ogni porta Per fare questo: Si riportano i valori assunti da ogni porta in una colonna distinta della tavola della verità Si usano i valori di uscita di ogni porta come valori di ingresso per le porte successive come indicato dal circuito Si determinano le variabili di uscita Passare da una funzione algebrica ad un circuito Si elencano tutte le variabili di ingresso a sinistra Si elencano tutte le variabili di uscita a destra Si riscrivono gli operatori tramite le porte a cominciare dalle parentesi più interne 16

Le variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono:

Le variabili logiche possono essere combinate per mezzo di operatori detti connettivi logici. I principali sono: Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: Connettivi logici True (vero identificato con 1) False (falso identificato con 0) Le variabili

Dettagli

Algebra di Boole. Andrea Passerini Informatica. Algebra di Boole

Algebra di Boole. Andrea Passerini Informatica. Algebra di Boole Andrea Passerini passerini@disi.unitn.it Informatica Variabili logiche Una variabile logica (o booleana) è una variable che può assumere solo uno di due valori: True (vero identificato con 1) False (falso

Dettagli

Fondamenti di Informatica

Fondamenti di Informatica Fondamenti di Informatica Algebra di Boole e Circuiti Logici Prof. Christian Esposito Corso di Laurea in Ingegneria Meccanica e Gestionale (Classe I) A.A. 2016/17 Algebra di Boole e Circuiti Logici L Algebra

Dettagli

Università degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA

Università degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA Università degli Studi di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica ALGEBRA BOOLEANA Introduzione George Boole (1815-1864) nel 1854 elaborò una algebra basata su predicati logici. Valori

Dettagli

FUNZIONI BOOLEANE. Vero Falso

FUNZIONI BOOLEANE. Vero Falso FUNZIONI BOOLEANE Le funzioni booleane prendono il nome da Boole, un matematico che introdusse un formalismo che opera su variabili (dette variabili booleane o variabili logiche o asserzioni) che possono

Dettagli

associate ai corrispondenti valori assunti dall uscita.

associate ai corrispondenti valori assunti dall uscita. 1. Definizione di variabile logica. Una Variabile Logica è una variabile che può assumere solo due valori: 1 True (vero, identificato con 1) False (falso, identificato con 0) Le variabili logiche si prestano

Dettagli

Algebra di Boole Esercizi risolti

Algebra di Boole Esercizi risolti Esercizi risolti 1 Esercizio Verificare mediante i teoremi fondamentali dell algebra di Boole o mediante induzione completa se per l operatore XOR vale la proprietà distributiva: a (b + c) = (a b)+(a c)

Dettagli

I circuiti elementari

I circuiti elementari I circuiti elementari Nel lavoro diprogrammazione con il computer si fa largo uso della logica delle proposizioni e delle regole dell algebra delle proposizioni o algebra di Boole. L algebra di Boole ha

Dettagli

Algebra di Boole X Y Z V. Algebra di Boole

Algebra di Boole X Y Z V. Algebra di Boole L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole che

Dettagli

Algebra di Boole. Modulo 2. Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB)

Algebra di Boole. Modulo 2. Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB) Algebra di Boole Modulo 2 Università di Cagliari Dipartimento di Ingegneria Elettrica ed Elettronica Laboratorio di Elettronica (EOLAB) Algebra di Boole L algebra di Boole o della commutazione è lo strumento

Dettagli

Esercitazioni di Reti Logiche. Algebra Booleana e Porte Logiche

Esercitazioni di Reti Logiche. Algebra Booleana e Porte Logiche Esercitazioni di Reti Logiche Algebra Booleana e Porte Logiche Zeynep KIZILTAN Dipartimento di Scienze dell Informazione Universita degli Studi di Bologna Anno Academico 2007/2008 Notizie Il primo parziale

Dettagli

I.3 Porte Logiche. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica

I.3 Porte Logiche. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica I.3 Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti 1 2 3 Elaboratore Hardware È il mezzo con il quale l informazione è elaborata. Software

Dettagli

Richiami di Algebra di Commutazione

Richiami di Algebra di Commutazione LABORATORIO DI ARCHITETTURA DEI CALCOLATORI lezione n Prof. Rosario Cerbone rosario.cerbone@libero.it http://digilander.libero.it/rosario.cerbone a.a. 6-7 Richiami di Algebra di Commutazione In questa

Dettagli

PORTE LOGICHE. Si effettua su due o più variabili, l uscita assume lo stato logico 1 se almeno una variabile di ingresso è allo stato logico 1.

PORTE LOGICHE. Si effettua su due o più variabili, l uscita assume lo stato logico 1 se almeno una variabile di ingresso è allo stato logico 1. PORTE LOGICHE Premessa Le principali parti elettroniche dei computer sono costituite da circuiti digitali che, come è noto, elaborano segnali logici basati sullo 0 e sull 1. I mattoni fondamentali dei

Dettagli

Algebra di Boole Algebra di Boole

Algebra di Boole Algebra di Boole 1 L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole

Dettagli

Calcolatori Elettronici Lezione 2 Algebra delle reti Logiche

Calcolatori Elettronici Lezione 2 Algebra delle reti Logiche Calcolatori Elettronici Lezione 2 Algebra delle reti Logiche Ing. Gestionale e delle Telecomunicazioni A.A. 27/8 Gabriele Cecchetti Algebra delle reti logiche Sommario: Segnali digitali vs. segnali analogici

Dettagli

Laboratorio di Programmazione Laurea in Ingegneria Civile e Ambientale

Laboratorio di Programmazione Laurea in Ingegneria Civile e Ambientale Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Laboratorio di Programmazione Laurea in Ingegneria Civile e Ambientale Algebra di Boole Stefano Cagnoni Algebra di Boole L algebra

Dettagli

Informatica e Bioinformatica: AND, OR, NOT

Informatica e Bioinformatica: AND, OR, NOT 31 marzo 2014 Algebra di Boole L algebra di Boole opera su due valori di verità, VERO e FALSO, mutuamente esclusivi. Nell algebra di Boole è possibile definire funzioni (che chiameremo operazioni logiche)

Dettagli

Funzioni booleane. Vitoantonio Bevilacqua.

Funzioni booleane. Vitoantonio Bevilacqua. Funzioni booleane Vitoantonio Bevilacqua bevilacqua@poliba.it Sommario. Il presente paragrafo si riferisce alle lezioni del corso di Fondamenti di Informatica e Laboratorio di Informatica dei giorni 9

Dettagli

I transistor. I transistor come interruttori

I transistor. I transistor come interruttori I transistor 1/10 I transistor come interruttori Un transistor non è altro che un interruttore totalmente elettrico (non ha nessuna parte meccanica) Un interruttore ha il compito di permettere o meno il

Dettagli

Reti logiche: introduzione

Reti logiche: introduzione Corso di Calcolatori Elettronici I Reti logiche: introduzione ing. Alessandro Cilardo Corso di Laurea in Ingegneria Biomedica Circuiti e porte logiche Esempio di rete di commutazione: Circuiti e porte

Dettagli

I circuiti digitali: dalle funzioni logiche ai circuiti

I circuiti digitali: dalle funzioni logiche ai circuiti rchitettura dei calcolatori e delle Reti Lezione 4 I circuiti digitali: dalle funzioni logiche ai circuiti Proff.. orghese, F. Pedersini Dipartimento di Scienze dell Informazione Università degli Studi

Dettagli

Insegnamento Informatica CdS Scienze Giuridiche

Insegnamento Informatica CdS Scienze Giuridiche Insegnamento Informatica CdS Scienze Giuridiche A.A. 29/ Prof. Valle D.ssa Folgieri Informazioni preliminari Prof. Valle email valle@dsi.unimi.it SITO DEL CORSO: http://webcen.dsi.unimi.it/wcinfo Syllabus:

Dettagli

Fondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B.

Fondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica B. Fondamenti di Informatica Lezione n. n. lgebra booleana Circuiti logici Elementi primitivi Esercizi con elementi logici Fondamenti di Informatica Lezione n. In questa lezione vengono ripresi i concetti

Dettagli

Circuiti digitali. Operazioni Logiche: Algebra di Boole. Esempio di circuito. Porte Logiche. Fondamenti di Informatica A Ingegneria Gestionale

Circuiti digitali. Operazioni Logiche: Algebra di Boole. Esempio di circuito. Porte Logiche. Fondamenti di Informatica A Ingegneria Gestionale Operazioni Logiche: lgebra di oole Fondamenti di Informatica Ingegneria Gestionale Università degli Studi di rescia Docente: Prof. lfonso Gerevini Circuiti digitali Il calcolatore può essere visto come

Dettagli

ELEMENTI DI ALGEBRA BOOLEANA

ELEMENTI DI ALGEBRA BOOLEANA ELEMENTI DI ALGEBRA BOOLEANA CONCETTO DI LOGICA: elemento essenziale del pensiero umano. La logica permette all uomo di formulare ragionamenti e di elaborare informazioni. La logica è esprimibile con il

Dettagli

Algebra di Boole. Tavole di verità. Fondamenti di Informatica Algebra di Boole. Si basa su tre operazioni logiche: AND (*) OR (+) NOT (!

Algebra di Boole. Tavole di verità. Fondamenti di Informatica Algebra di Boole. Si basa su tre operazioni logiche: AND (*) OR (+) NOT (! Fondamenti di Informatica Algebra di Boole Prof.ssa Enrica Gentile Informatica e Comunicazione Digitale a.a. 2-22 Algebra di Boole Si basa su tre operazioni logiche: AND (*) OR () NOT (!) Gli operandi

Dettagli

Algebra di Boole e reti logiche

Algebra di Boole e reti logiche Algebra di Boole e reti logiche Fulvio Ferroni fulvioferroni@teletu.it 2006.12.30 II Indice generale 1 Algebra di Boole................................................................. 1 1.1 Operatori

Dettagli

Algebra di Boole: mappe di Karnaugh e funzioni NAND e NOR

Algebra di Boole: mappe di Karnaugh e funzioni NAND e NOR Corso di Calcolatori Elettronici I A.A. 2010-2011 Algebra di Boole: mappe di Karnaugh e funzioni NAND e NOR Lezione 7 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Funzioni Equivalenza

Dettagli

Algebra di Boole Elementi di Informatica - Algebra di Boole 1 A. Valenzano

Algebra di Boole Elementi di Informatica - Algebra di Boole 1 A. Valenzano Algebra di Boole Elementi di Informatica - Algebra di Boole 1 A. Valenano 1996-2002 Sommario Variabili e funioni booleane Tabelle di verità Operatori booleani Espressioni booleane Teoremi fondamentali

Dettagli

anno scolastico 2009 / 2010 ELETTRONICA per Elettrotecnica ed Automazione

anno scolastico 2009 / 2010 ELETTRONICA per Elettrotecnica ed Automazione CIRCUITI COMBINATORI Un circuito combinatorio (o rete combinatoria) è un insieme interconnesso di porte logiche il cui output, istante per istante dipende unicamente dallo stato che gli ingressi della

Dettagli

Sistemi Combinatori & Mappe di Karnaugh

Sistemi Combinatori & Mappe di Karnaugh Sistemi Combinatori & Mappe di Karnaugh AB E=0 F=0 E=1 F=0 00 01 11 10 AB 00 01 11 10 00 1 0 0 0 00 0 0 0 0 01 0 0 0 0 01 0 0 0 0 11 0 0 1 0 11 0 0 1 0 10 0 0 0 1 10 0 0 0 1 AB 00 01 11 10 AB 00 01 11

Dettagli

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali:

Elementi di Algebra e Logica Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: Elementi di Algebra e Logica 2008. 8. Logica. 1. Determinare la tavola della verità di ciascuna delle seguenti forme proposizionali: (a) p ( q r); (b) p (q r); (c) (p q) ( p r); (d) (p q) ( p r); (e) (p

Dettagli

Aritmetica in virgola mobile Algebra di Boole e reti logiche Esercizi. Mercoledì 8 ottobre 2014

Aritmetica in virgola mobile Algebra di Boole e reti logiche Esercizi. Mercoledì 8 ottobre 2014 Aritmetica in virgola mobile Algebra di Boole e reti logiche Esercizi Mercoledì 8 ottobre 2014 Notazione scientifica normalizzata La rappresentazione in virgola mobile che adotteremo si basa sulla notazione

Dettagli

Logica Digitale. Fondamenti di Informatica - Prof. Gregorio Cosentino

Logica Digitale. Fondamenti di Informatica - Prof. Gregorio Cosentino Logica Digitale 1 Ma in fondo quali sono i mattoncini che compongono un calcolatore elettronico? Porte Circuiti Aritmetica Memorie Bus I/O And, Or, Nand, Nor, Not Multiplexer, Codif, Shifter, ALU Sommatori

Dettagli

Numeri interi relativi

Numeri interi relativi Numeri interi relativi 2 2.1 I numeri che precedono lo zero Con i numeri naturali non sempre è possibile eseguire l operazione di sottrazione. In particolare, non è possibile sottrarre un numero più grande

Dettagli

Esame di INFORMATICA (*) Operazioni Aritmetiche: Somma. Lezione 3. Operazioni Aritmetiche: Somma. Operazioni Aritmetiche: Somma

Esame di INFORMATICA (*) Operazioni Aritmetiche: Somma. Lezione 3. Operazioni Aritmetiche: Somma. Operazioni Aritmetiche: Somma Università degli Studi di L Aquila Facoltà di Biotecnologie Esame di INFORMATICA A.A. 2008/09 Lezione 3 Operazioni Aritmetiche: Somma + 1 0 1 0 (*) 1 0 1 0 (*) con riporto di 1 2 Operazioni Aritmetiche:

Dettagli

Dalla tabella alla funzione canonica

Dalla tabella alla funzione canonica Dalla tabella alla funzione canonica La funzione canonica è la funzione logica associata alla tabella di verità del circuito che si vuole progettare. Essa è costituita da una somma di MinTerm con variabili

Dettagli

LE PORTE LOGICHE. Ingresso B Ingresso A Uscita OUT

LE PORTE LOGICHE. Ingresso B Ingresso A Uscita OUT LE PORTE LOGICHE Nell'elettronica digitale le porte logiche costituiscono degli elementi fondamentali nei circuiti. Esse si possono trovare all'interno di circuiti integrati complessi, come parte integrante

Dettagli

Architetture degli Elaboratori I II Compito di Esonero (A) - 16/1/1997

Architetture degli Elaboratori I II Compito di Esonero (A) - 16/1/1997 1 II Compito di Esonero (A) - 16/1/1997 Non è ammessa la consultazione di nessun testo, nè l utilizzo di nessun tipo di calcolatrice. Ogni esercizio riporta, fra parentesi, il suo valore in trentesimi

Dettagli

Elementi di informatica

Elementi di informatica Elementi di informatica Algebra di Boole Algebra di Boole I circuiti logici sono componenti hardware che manipolano informazione binaria. I circuiti di base sono detti PORTE LOGICHE (logical gate). Allo

Dettagli

Algebra di Boole e porte logiche

Algebra di Boole e porte logiche Algebra di Boole e porte logiche Dott.ssa Isabella D'Alba Corso PENTEST MIND PROJECT 2016 Algebra di Boole e porte logiche (I parte) Algebra di Boole I Sistemi di Numerazione (Posizionali, Non posizionali)

Dettagli

Esercizi di Algebra di Boole (con Appendice)

Esercizi di Algebra di Boole (con Appendice) Esercizi di Algebra di Boole (con Appendice) Esercizio Esprimere in forma simbolica la seguente proposizione logica: il passaggio di un astronauta da una nave di servizio ad un satellite artificiale è

Dettagli

I circuiti logici: definizione delle funzioni logiche

I circuiti logici: definizione delle funzioni logiche I circuiti logici: definizione delle funzioni logiche Prof. lberto orghese Dipartimento di Informatica borghese@di.unimi.it Università degli Studi di Milano Riferimenti al testo: ppendice C, sezioni C.1

Dettagli

Algebra di Boole e circuiti logici

Algebra di Boole e circuiti logici lgebra di oole e circuiti logici Progetto Lauree Scientiiche 29 Dipartimento di Fisica Università di Genova Laboratorio di Fisica in collaborazione con il Liceo Scientiico Leonardo da Vinci Genova - 23

Dettagli

Esercitazione Informatica I (Parte 1) AA Nicola Paoletti

Esercitazione Informatica I (Parte 1) AA Nicola Paoletti Esercitazione Informatica I (Parte 1) AA 2011-2012 Nicola Paoletti 31 Maggio 2012 2 Antipasto 1. Quanti bit sono necessari per rappresentare (a) (227.551.832) 10? (b) (125.521) 10? 2. Quanti decimali sono

Dettagli

Semantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica

Semantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative

Dettagli

Tipi di dato primitivi

Tipi di dato primitivi Tipi di dato primitivi (oltre int) Tipi di dato primitivi int (già trattati) Valori logici (ricordati) Valori reali Valori carattere Informatica - A.A. 2009/2010 - Tipi di dato 2 1 Valori logici (il caso

Dettagli

I circuiti digitali: dalle funzioni logiche ai circuiti (le SOP)

I circuiti digitali: dalle funzioni logiche ai circuiti (le SOP) I circuiti digitali: dalle funzioni logiche ai circuiti (le SOP) Prof. Alberto Borghese Dipartimento di Informatica borghese@di.unimi.it Università degli Studi di Milano Riferimento al testo: Sezione C.3;

Dettagli

APPUNTI DI INFORMATICA

APPUNTI DI INFORMATICA APPUNTI DI INFORMATICA Per il biennio di liceo scientifico scienze applicate Sommario Il calcolo binario... 2 Numerazione Decimale... 2 Numerazione Binaria... 2 Conversione Binario -> Decimale... 2 Conversione

Dettagli

Fondamenti di Programmazione. Sistemi di rappresentazione

Fondamenti di Programmazione. Sistemi di rappresentazione Fondamenti di Programmazione Sistemi di rappresentazione Numeri e numerali Il numero cinque 5 V _ Π 五 Arabo Romano Maya Greco Cinese Il sistema decimale Sistemi posizionali 1 10 3 + 4 10 2 + 9 10 1 + 2

Dettagli

Matematica per le scienze sociali Elementi di base. Francesco Lagona

Matematica per le scienze sociali Elementi di base. Francesco Lagona Matematica per le scienze sociali Elementi di base Francesco Lagona University of Roma Tre F. Lagona (francesco.lagona@uniroma3.it) 1 / 24 Outline 1 Struttura del corso 2 Algebra booleana 3 Algebra degli

Dettagli

ESERCIZI DEL CORSO DI INFORMATICA

ESERCIZI DEL CORSO DI INFORMATICA ESERCIZI DEL CORSO DI INFORMTIC Questa breve raccolta di esercizi vuole mettere in luce alcuni aspetti della prima parte del corso e fornire qualche spunto di riflessione. Il contenuto del materiale seguente

Dettagli

MATEMATICA DI BASE 1

MATEMATICA DI BASE 1 MATEMATICA DI BASE 1 Francesco Oliveri Dipartimento di Matematica, Università di Messina 30 Agosto 2010 MATEMATICA DI BASE MODULO 1 Insiemi Logica Numeri Insiemi Intuitivamente, con il termine insieme

Dettagli

4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara

4. Logica. Insegnamento di Informatica. Elisabetta Ronchieri. I semestre, anno Corso di Laurea di Economia, Universitá di Ferrara 4. Logica Insegnamento di Informatica Elisabetta Ronchieri Corso di Laurea di Economia, Universitá di Ferrara I semestre, anno 2014-2015 Elisabetta Ronchieri (Universitá) Insegnamento di Informatica I

Dettagli

NOZIONI DI LOGICA PROPOSIZIONI.

NOZIONI DI LOGICA PROPOSIZIONI. NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale

Dettagli

Algebra di Boole. Fondamenti di Informatica per Meccanici Energetici - Biomedici 1. Politecnico di Torino Ottobre Mr. Boole. Variabile booleana

Algebra di Boole. Fondamenti di Informatica per Meccanici Energetici - Biomedici 1. Politecnico di Torino Ottobre Mr. Boole. Variabile booleana Fondamenti di Informatica per Meccanici Energetici - iomedici 1 Mr. oole lgebra di oole George oole: Matematico inglese del XIX secolo lgebra che descrive le leggi del pensiero Logica da cui è possibile

Dettagli

Algebra Booleana, Funzioni Logiche e Circuiti Logici

Algebra Booleana, Funzioni Logiche e Circuiti Logici Algebra Booleana, Funzioni Logiche e Circuiti Logici Esercizio 1 Si scriva, utilizzando gli operatori booleani AND, OR, NOT, la funzione booleana che riceve in ingresso un numero binario puro su 3 bit

Dettagli

Fondamenti di Programmazione. Sistemi di rappresentazione

Fondamenti di Programmazione. Sistemi di rappresentazione Fondamenti di Programmazione Sistemi di rappresentazione Numeri e numerali Il numero cinque 5 V _ Π 五 Arabo Romano Maya Greco Cinese Sistemi posizionali 1 10 3 + 4 10 2 + 9 10 1 + 2 10 0 Sistemi posizionali

Dettagli

Appunti di informatica. Lezione 3 anno accademico Mario Verdicchio

Appunti di informatica. Lezione 3 anno accademico Mario Verdicchio Appunti di informatica Lezione 3 anno accademico 2015-2016 Mario Verdicchio Numeri binari in memoria In un calcolatore, i numeri binari sono tipicamente memorizzati in sequenze di caselle (note anche come

Dettagli

I.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica

I.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole

Dettagli

4 STRUTTURE CMOS. 4.1 I componenti CMOS

4 STRUTTURE CMOS. 4.1 I componenti CMOS 4.1 4 STRUTTURE CMOS 4.1 I componenti CMOS Un componente MOS (Metal-Oxide-Silicon) transistor è realizzato sovrapponendo vari strati di materiale conduttore, isolante, semiconduttore su un cristallo di

Dettagli

Conversioni di base: riassunto

Conversioni di base: riassunto Conversioni di base: riassunto Parte intera: divisioni per la nuova base, ogni resto rappresenta una cifra a par7re dalla meno significa7va Parte frazionaria: mol7plicazioni per la base, la parte intera

Dettagli

Algebra di Commutazione

Algebra di Commutazione Algebra di Commutazione Maurizio Palesi Maurizio Palesi 1 Algebra Booleana - Introduzione Per descrivere i dispositivi digitali è necessario avere: Un modello che permette di rappresentare insiemi di numeri

Dettagli

Sistemi di numerazione

Sistemi di numerazione SOMMARIO Sistemi di numerazione...2 Sistema decimale (o a base 10)...2 Sistema binario...2 Operazioni sui numeri binari...3 Espressioni logiche...4 Definizione...4 Prodotto Logico : AND...4 Somma Logica

Dettagli

Algebra di Boole: mappe di Karnaugh

Algebra di Boole: mappe di Karnaugh Corso di Calcolatori Elettronici I A.A. 2012-2013 Algebra di Boole: mappe di Karnaugh Pro. Roberto Canonico Università degli Studi di Napoli Federico II Dipartimento di Ingegneria Elettrica e delle Tecnologie

Dettagli

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente

Dettagli

Esercitazioni di Reti Logiche. Lezione 4

Esercitazioni di Reti Logiche. Lezione 4 Esercitazioni di Reti Logiche Lezione 4 Progettazione dei circuiti logici combinatori Zeynep KIZILTAN zkiziltan@deis.unibo.it Argomenti Procedura di analisi dei circuiti combinatori. Procedura di sintesi

Dettagli

Algebra di Boole ed elementi di logica

Algebra di Boole ed elementi di logica Algebra di Boole ed elementi di logica Marco D. Santambrogio marco.santambrogio@polimi.it Ver. aggiornata al 10 O0obre 2013 Obiettivi Algebra di Boole Algebra di boole a due valori: algebra di commutazione

Dettagli

Porte logiche A=0 A=1

Porte logiche A=0 A=1 Porte logiche Le Porte logiche sono circuiti combinatori che svolgono funzioni elementari e costituiscono i blocchi fondamentali su cui si basa l Elettronica digitale. Le principali porte sono la ND, la

Dettagli

Corso di Matematica per la Chimica. Dott.ssa Maria Carmela De Bonis a.a

Corso di Matematica per la Chimica. Dott.ssa Maria Carmela De Bonis a.a Dott.ssa Maria Carmela De Bonis a.a. 2013-14 Programmi Un elaboratore riceve dei dati in ingresso, li elabora secondo una sequenza predefinita di operazioni e infine restituisce il risultato sotto forma

Dettagli

Le mappe di Karnaugh

Le mappe di Karnaugh Le mappe di Karnaugh Le semplificazioni di una funzione logica possono essere effettuate mediante i teoremi dell'algebra di Boole. Esiste però un metodo molto più pratico di semplificazione che quello

Dettagli

Algebra di Boole Cenni all Algebra di Boole

Algebra di Boole Cenni all Algebra di Boole Algebra di Boole Cenni all Algebra di Boole Introduzione Rappresentazione di una funzione combinatoria Proprietà dell algebra di commutazione Forme canoniche Teorema di espansione di Shannon Versione del

Dettagli

Dal Problema all Algoritmo. Prof. Francesco Accarino IIS Altiero Spinelli Sesto San Giovanni

Dal Problema all Algoritmo. Prof. Francesco Accarino IIS Altiero Spinelli Sesto San Giovanni Dal Problema all Algoritmo Prof. Francesco Accarino IIS Altiero Spinelli Sesto San Giovanni Cosa Impareremo Informazioni e codici Definizione e soluzione di un problema Individuazione dei dati Definizione

Dettagli

Algebra di Boole Cenni all Algebra di Boole. Algebra Booleana: definizione

Algebra di Boole Cenni all Algebra di Boole. Algebra Booleana: definizione Algebra Booleana: operazioni e sistema algebrico Algebra di Boole Cenni all Algebra di Boole Introduzione Rappresentazione di una funzione combinatoria Proprietà dell algebra di commutazione Forme canoniche

Dettagli

Codice binario. Codice. Codifica - numeri naturali. Codifica - numeri naturali. Alfabeto binario: costituito da due simboli

Codice binario. Codice. Codifica - numeri naturali. Codifica - numeri naturali. Alfabeto binario: costituito da due simboli Codice La relazione che associa ad ogni successione ben formata di simboli di un alfabeto il dato corrispondente è detta codice. Un codice mette quindi in relazione le successioni di simboli con il significato

Dettagli

Rappresentazione dei dati in memoria

Rappresentazione dei dati in memoria Rappresentazione dei dati in memoria La memoria Una memoria deve essere un insieme di oggetti a più stati. Questi oggetti devono essere tali che: le dimensioni siano limitate il tempo necessario per registrare

Dettagli

Informatica Generale 1 - Esercitazioni Flowgraph, algebra di Boole e calcolo binario

Informatica Generale 1 - Esercitazioni Flowgraph, algebra di Boole e calcolo binario Informatica Generale 1 - Esercitazioni Flowgraph, algebra di Boole e calcolo binario Daniele Pighin pighin@fbk.eu FBK Via Sommarive, 18 I-38050 Trento, Italy February 27, 2008 Outline 1 Algebra di Boole

Dettagli

Algebra di Boole: minimizzazione di funzioni booleane

Algebra di Boole: minimizzazione di funzioni booleane Corso di Calcolatori Elettronici I A.A. 200-20 Algebra di Boole: minimizzazione di funzioni booleane Lezione 8 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Forme Ridotte p Vantaggi

Dettagli

Calcolo proposizionale

Calcolo proposizionale 1 Il calcolo delle proposizioni Una proposizione logica si dice semplice o atomica se contiene soltanto un predicato. Due o più proposizioni semplici collegate mediante l'uso di connettivi formano proposizioni

Dettagli

Mappe di Karnaugh G. MARSELLA UNIVERSITÀ DEL SALENTO

Mappe di Karnaugh G. MARSELLA UNIVERSITÀ DEL SALENTO Mappe di Karnaugh 1 G. MARSELLA UNIVERSITÀ DEL SALENTO Introduzione Le semplificazioni di una funzione logica possono essere effettuate mediante i teoremi dell'algebra di Boole. Esiste però un metodo molto

Dettagli

Logica combinatoria. La logica digitale

Logica combinatoria. La logica digitale Logica combinatoria La logica digitale La macchina è formata da porte logiche Ogni porta riceve in ingresso dei segnali binari (cioè segnali che possono essere o ) e calcola una semplice funzione (ND,

Dettagli

Argomenti trattati. Informazione Codifica Tipo di un dato Rappresentazione dei numeri Rappresentazione dei caratteri e di altre informazioni

Argomenti trattati. Informazione Codifica Tipo di un dato Rappresentazione dei numeri Rappresentazione dei caratteri e di altre informazioni Argomenti trattati Informazione Codifica Tipo di un dato Rappresentazione dei numeri Rappresentazione dei caratteri e di altre informazioni Informazione mi dai il numero di Andrea? 0817651831 Il numero

Dettagli

12BHD - Informatica (I anno Ingegneria) - esercizi sulle funzioni logiche - v. 1.0

12BHD - Informatica (I anno Ingegneria) - esercizi sulle funzioni logiche - v. 1.0 Esercizio 1 Semplificare la seguente espressione ooleana: a (b + c) + b (a + c) pplicando le proprietà dell algebra ooleana: [ a + b c ] a b + a c + a b + b c = a (b + b) + a c + b c = a 1 + a c + b c

Dettagli

Princìpi dell'algebra di Boole applicata ai circuiti digitali. An Investigations of the Laws of Thought. George Boole, nel 1854, pubblicò un libro,

Princìpi dell'algebra di Boole applicata ai circuiti digitali. An Investigations of the Laws of Thought. George Boole, nel 1854, pubblicò un libro, Princìpi dell'algebra di Boole applicata ai circuiti digitali George Boole, nel 1854, pubblicò un libro, An Investigations of the Laws of Thought ( Un esame sulle leggi logiche del pensiero), in cui dimostrava

Dettagli

Intelligenza Artificiale I

Intelligenza Artificiale I Intelligenza Artificiale I - AA 27/28 Intelligenza Artificiale I Logica formale Introduzione Marco Piastra Logica formale - Introduzione - Intelligenza Artificiale I - AA 27/28 Sistematicità del linguaggio

Dettagli

Linguaggio C Espressioni e operatori

Linguaggio C Espressioni e operatori FONDAMENTI DI INFORMATICA Prof. PIER LUCA MONTESSORO Ing.DAVIDE PIERATTONI Facoltà di Ingegneria Università degli Studi di Udine Linguaggio C Espressioni e operatori 2001 Pier Luca Montessoro - Davide

Dettagli

RAPPRESENTAZIONE DELLE INFORMAZIONI

RAPPRESENTAZIONE DELLE INFORMAZIONI RAPPRESENTAZIONE DELLE INFORMAZIONI 1 RAPPRESENTAZIONE DELLE INFORMAZIONI Le informazioni gestite dai sistemi di elaborazione devono essere codificate per poter essere memorizzate, elaborate, scambiate,

Dettagli

L'algebra Booleana. Generalità. Definizioni

L'algebra Booleana. Generalità. Definizioni L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati

Dettagli

Descrizione delle operazioni di calcolo. Espressioni costanti semplici

Descrizione delle operazioni di calcolo. Espressioni costanti semplici Descrizione delle operazioni di calcolo Come abbiamo detto l interprete è in grado di generare nuovi valori a partire da valori precedentemente acquisiti o generati. Il linguaggio di programmazione permette

Dettagli

Sviluppo di programmi

Sviluppo di programmi Sviluppo di programmi Per la costruzione di un programma conviene: 1. condurre un analisi del problema da risolvere 2. elaborare un algoritmo della soluzione rappresentato in un linguaggio adatto alla

Dettagli

Quadro riassuntivo di geometria analitica

Quadro riassuntivo di geometria analitica Quadro riassuntivo di geometria analitica IL PIANO CARTESIANO (detta ascissa o coordinata x) e y quella dall'asse x (detta ordinata o coordinata y). Le coordinate di un punto P sono: entrambe positive

Dettagli

1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R):

1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R): . equivalenze e implicazioni logiche Esercizio.. Trovare le implicazioni che legano i seguenti enunciati (x, y R): () x < y, () x = y, () x y, () x y, () (x y) > 0. Osserviamo subito che (x y) > 0 equivale

Dettagli

METODI MATEMATICI PER L INFORMATICA

METODI MATEMATICI PER L INFORMATICA METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una

Dettagli

Espressioni ed operatori in C

Espressioni ed operatori in C Espressioni ed operatori in C Espressioni Il C è un linguaggio basato su espressioni Una espressione è una notazione che denota un valore mediante un processo di valutazione Una espressione può essere

Dettagli

Laboratorio di Architettura degli Elaboratori A.A. 2016/17 Circuiti Logici

Laboratorio di Architettura degli Elaboratori A.A. 2016/17 Circuiti Logici Laboratorio di Architettura degli Elaboratori A.A. 2016/17 Circuiti Logici Per ogni lezione, sintetizzare i circuiti combinatori o sequenziali che soddisfino le specifiche date e quindi implementarli e

Dettagli

Excel come foglio di calcolo. Altri Grafici con Excel Istogrammi, grafici a torta

Excel come foglio di calcolo. Altri Grafici con Excel Istogrammi, grafici a torta Excel come foglio di calcolo Altri Grafici con Excel Istogrammi, grafici a torta Funzioni di Excel per elaborazioni di dati presenti nel foglio Excel prevede una serie di funzioni predeterminate, raggruppate

Dettagli

Algebra di commutazione

Algebra di commutazione Algebra di commutazione E un caso particolare di algebra booleana. B = Dominio Op1 = AND Vale 1 solo se entrambi gli operandi sono 1 Op2 = OR Vale 0 se entrambi I termini sono zero, altrimenti 1 Op3 =

Dettagli

Chi non risolve esercizi non impara la matematica.

Chi non risolve esercizi non impara la matematica. 5.5 esercizi 9 Per trovare la seconda equazione ragioniamo così: la parte espropriata del primo terreno è x/00, la parte espropriata del secondo è y/00 e in totale sono stati espropriati 000 m, quindi

Dettagli

Porte logiche. Porte logiche. Corso di Architettura degli Elaboratori. Algebra Booleana

Porte logiche. Porte logiche. Corso di Architettura degli Elaboratori. Algebra Booleana Corso di Architettura degli Elaboratori Il livello logico digitale: Algebra Booleana e Circuiti logici digitali di base Matteo Baldoni Dipartimento di Informatica Università degli Studi di Torino C.so

Dettagli