L AND di x e y si indica con x y (oppure xy) L OR di x e y si indica con x + y Il NOT di x si indica con x ( oppure con x, ~x, (not x), x )
|
|
- Carlotta Rocco
- 7 anni fa
- Visualizzazioni
Transcript
1 ALGEBRA BOOLEANA Insieme K con elementi che assumono i valori {0,1) con operatori (AND, OR, NOT) Notazione: Se x e y sono due variabili booleane: L AND di x e y si indica con x y (oppure xy) L OR di x e y si indica con x + y Il NOT di x si indica con x ( oppure con x, ~x, (not x), x ) In generale, con n variabili si possono ottenere (2 ) 2 n funzioni.
2 PORTE LOGICHE ELEMENTARI
3 GENERALIZZAZIONE DELLE REGOLE DI DE MORGAN
4 ORDINE DI PRECEDENZA DEGLI OPERATORI LOGICI Se in una espressione logica simbolica vengono utilizzati più operatori logici, viene valutato prima NOT, quindi AND e infine OR. Per alterare tale priorità si usano le parentesi : % Esempio : f(a,b,c) = a b+ c booleani di a,b,c, deve essere valutata, una volta assegnati i valori eseguendo : 1) il not di a 2) la congiunzione and ( ) tra a % e b 3) la disgiunzione or (+) tra a % b e c Esempio : f(a,b,c) = a % ( b+ c) deve essere valutata, una volta assegnati i valori booleani di a,b,c, eseguendo : 1) il not di a 2) la disgiunzione OR (+) tra b e c 3) la congiunzione and ( )
5 FUNZIONE DI MAGGIORANZA La risposta del circuito è 1 quando ci sono più uni di zeri
6 PORTE XOR LA PORTA XOR A PIU INGRESSI CALCOLA LA FUNZIONE DISPARI Per esempio la funzione xor tra tre variabili: restituisce il valore vero solo se una sola variabile è vera (=1) o lo sono tutte e tre.
7 CIRCUITO EQUIVALENTE ALLA FUNZIONE LOGICA EXOR TABELLA di verita della funzione EXOR C = A xor B
8
9 LEGGI PRINCIPALI DELL ALGEBRA BOOLEANA
10 ADDIZIONATORE A n BIT ( in questo caso n= 4)
11 Verificare che se C = 0 il circuito effettua uno shift (scivolamento )a sinistra dei valori D 0 D 7 ed S 7 risulta = 0 ( caso della moltiplicazione per 2). Se invece C = 1 il circuito effettua uno shift a destra dei valori D 0 D 7 S 0 risulta = 0 ( caso della divisione per 2). e
12 MULTIPLEXER Circuito che seleziona in base ai valori A B e C ( 3 segnali di controllo) quale degli 8 segnali d ingresso sara presente all uscita Y. Notare che i 3 segnali A,B,C possono controllare 2 3 = 8 segnali di ingresso (D 0,D 1,,D 7 ) In generale con n segnali di controllo si possono selezionare 2 n segnali d ingresso. Applicazioni pratiche : trasformazione parallelo-seriale.
13 DEMULTIPLEXER Il demultiplexer è un circuito che compie una funzione inversa rispetto al multiplexer; il demultiplexer è in grado di trasferire a ciascuna delle sue uscite un dato presente in ingresso in tempi successivi; l'uscita a cui inviare il dato è scelta mediante un apposito selettore; il demultiplexer ha quindi un solo ingresso e più uscite; Nell esempio in figura: le linee A,B,C controllano le entrate in serie (D 0,D 1,,D 7 ) in 8 uscite in parallelo. Applicazione pratica : Trasformazione serie-parallelo. Notiamo, infine, che il bit in ingresso deve essere presente per tutto il tempo in cui i selettori (A,B,C) comandano il passaggio dall'ingresso all'uscita di un certo bit.
14 Esempio Duale a + ab = a + b a*( a+b) = ab
15 Regola del controduale Data una funzione booleana f(x 1,x 2,x 3, x n ) si ottiene la sua controduale f cd : 1) negando ogni variabile; 2) scambiando + e * 3) scambiando 0 con 1 La funzione f cd ha la seguente proprieta : - per ogni x 1,x 2,x 3, x n {0,1) f cd (x 1,x 2,x 3, x n) = f(x 1,x 2,x 3, x n ) Questo significa che a parita di valori x 1,x 2,x 3, x n il valore che assume f e l opposto del valore che assume f cd Esempio-1 F( x, y, z) = x*( y+ z) Fcd = x+ y * z= x*( y+ z) Verificate, per esercizio, le tabelle di verita di f e di f cd per tutti i valori di x,y,z. Esempio-2 F( x, y) = x+ y Fcd = x* y= x+ y e abbiamo ottenuto una delle proprieta di De Morgan. Esempio-3 F( x, y) = x* y F = x+ y= x* y cd e abbiamo ottenuto l altra proprieta di De Morgan!!
16 PROPRIETA DI ASSORBIMENTO - dimostrazione: a + ab = a a + ab = a *(b+b) + a*b elemento neutro del * = ab + ab + ab distributività = ab + ab + ab commutativita = ab + ab idempotenza = a( b + b ) distributività = a*1 inverso = a identità a + ab = a+b a + ab = a + ab + ab per l assorbimernto = a +b(a + a) distributività = a +b*1 inverso = a + b identità da (a + ab = a+b) discende anche a + ab = a+b
17 Il teorema del consensus permette di semplificare una espressione Booleana nel seguente modo : XY + XZ + YZ = XY + XZ Come si vede salta il terzo termine,yz, questo è ridondante e può essere eliminato. Si noti che Y e Z sono associati a X e X nei primi due termini e appaiono insieme nel termine che è eliminato. Dimostrazione: X*Y + X *Z + Y*Z = X*Y + X*Z + Y*Z*( X + X ) per l elemento neutro di * = X*Y + X*Z + X*Y*Z + X*Y*Z = X*Y + X*Y*Z + X*Z + X*Y*Z per assorbimento = X*Y(1 + Z) + X*Z *(1 + Y ) = X*Y + X*Z Duale: (X + Y)( X + Z)(Y + Z) = (X + Y)( X + Z). CVD
18 COMPLETEZZA DELLE PORTE NAND e NOR Le porte NAND e NOR posso implementare qualsiasi funzione logica (per questo sono chiamate porte universali)
19 CIRCUITI INTEGRATI I circuiti digitali sono costruiti come circuiti integrati (IC) cristalli di semiconduttori al silicio, detti informalmente chip, contenenti i componenti elettronici per i gate digitali. I gate sono interconnessi sul chip per formare il circuito integrato. A seconda del numero di gate (porta logiche) che possono essere messi su un chip variano da pochi a migliaia di milioni. A seconda del numero parleremo di: o Small-scale integrated (SSI): diversi gate; o Medium-scale integrated (MSI): ; o Large-scale integrated (LSI) : da 100 a poche migliaia; o Very large-scale integrated (VLSI): da parecchie migliaia a molti milioni.
20 ESERCIZI: VERIFICARE tramite le regole di Boole oppure tramite le tabelle di verità quale delle seguenti uguaglianze sono corrette: AB + AC + BC = AB + BC AB + AC + BC = AB + AC Semplificare la seguente funzione a 3 variabili: F(A,B,C)= A B+ BC F(A,B,C)= A*B*C + B*C + A*B + A*B*C Applicando i teoremi dell algebra di Boole, verificare la seguente equivalenza tra espressioni:
21 ELEMENTI DI RAGIONAMENTO LOGICO. CONCETTI FONDAMENTALI, IMPLICAZIONE E REGOLE DI INFERENZA Per prima cosa il termine ragionamento logico nel senso da noi usato va inteso come il processo seguito nella deduzione di nuove proposizioni o nuovi asserti da una o più proposizioni date. Praticamente useremo, nello stesso senso, anche i termini inferenza logica o inferenza deduttiva. Osserviamo che è possibile anche studiare la logica in senso induttivo ; tal caso si parlerà di inferenza statistica o inferenza sperimentale. Una definizione appropriata di inferenza logica risale al 1943 da parte di J.C. Cooley: DEFINIZIONE: Ogniqualvolta una o più proposizioni portano a nuove proposizioni che se sono state accettate quelle originali le nuove devono essere accettate puramente in virtù della forma e non del contenuto. Questa definizione sottolinea, ponendo l accento sulla forma, il moderno punto di vista della logica. La maggior parte delle ricerche logiche contemporanee appartengono al campo noto sotto i vari nomi di logica simbolica, logica formale, logica matematica, che consiste nello studio dei principii del ragionamento e di numerosi argomenti ad essi connessi, con l ausilio di un simbolismo altamente astratto e complesso. La logica classica (termine con cui abitualmente s intende lo studio della logica basato sull opera del grande filosofo e logico greco Aristotele) è invece una logica essenzialmente verbale. PROPOSIZIONI GENERALI E PROPOSIZIONI PARTICOLARI La logica formale si occupa di asserti o dichiarazioni che possono venire classificati, sia effettivamente che ipoteticamente come veri oppure falsi ma non veri e falsi contemporaneamente. A questi asserti daremo il nome di proposizioni. Assioma 1 (Principio di non contraddizione) E' impossibile che una proposizione sia contemporaneamente vera e falsa. Assioma2 (Principio del terzo escluso) Non esistono altri valori di verità oltre a "VERO" e "FALSO". Così come nel linguaggio corrente possiamo incontrare frasi semplici (costituite cioè da un soggetto, un predicato e da uno o più complementi) e frasi più complesse, così anche in logica possiamo distinguere le proposizioni atomiche, cioè quelle più semplici delle quali abbiamo parlato fin qui, delle quali si possa dire subito se sono vere o false, dalle proposizioni composte o molecolari. Chiameremo proposizioni generali quelle in cui compaiono termini generali o indefiniti come tutti, alcuni, ogni, ciascuno ; le proposizioni in cui non compaiono termini di questo tipo saranno chiamate particolari.
22 In base a quanto detto, quindi, nella logica possono considerarsi proposizioni le frasi: 1) La zebra è un mammifero; (prop. atomica) 2) 3 è un numero primo. 3) Milano è in Sardegna. ( una proposizione può essere vera o falsa) 4) Bruxelles è in Belgio o in Olanda. (prop. composta) 5) La neve è di colore rosso. Non possono considerarsi proposizioni, invece, le frasi: 6) Firenze è la città più bella d Italia; ( è soggettiva) 7) Chi è l autore de L uomo senza qualità? (è una domanda) 8) Per favore non chiamare dopo le 11 di sera. (è una richiesta) 9) Avanti! (è un comando) NEGAZIONE di una proposizione Per esempio se p sta per sta piovendo ~ p sta per non sta piovendo oppure è falso che stia piovendo. DISGIUNZIONE La disgiunzione tra due proposizioni p o q p, q è la proposizione oppure p+q oppure o p o q oppure p q che va intesa vera quando almeno una delle proposizioni sia vera, falsa nel caso opposto. Se p indica come prima sta piovendo e q indica spende il sole la proposizione composta: o sta piovendo o splende il sole è vera quando: 1) sta piovendo 2) spende il sole 3) sta piovendo e splende il sole Invece è falsa quando - non sta piovendo e non splende il sole CONGIUNZIONE La congiunzione tra due proposizioni p, q è la proposizione p q oppure p*q oppure p q che va intesa vera quando entrambe le proposizioni sono vere, falsa nel caso opposto. Usando le precedenti proposizioni p * q significa sta piovendo e splende il sole I simboli introdotti per la negazione, disgiunzione e congiunzione possono essere combinati in molti modi per dar luogo a diverse proposizioni composte.
23 Ricordiamo che gli operatori ~, * e + hanno priorità differenti. Prima il NOT(~) poi l AND (*) e poi l OR (+). Per alterare tale priorità si possono usare le parentesi [( )]. Es: a) p(q+r) : p è vera e q o r è vera b) pq + r : p e q è vera oppure r è vera c) p(~q)+( ~p)q : abbiamo (p e non-q ) è vera oppure (non-q e p) è vera. Questa è la disgiunzione completa o anche elusive or. d) ~[(~p)+ (~q)] : è falsa che non-p o non-q sia vera. Alcune proposizioni composte possono risultare sempre vere, in tal caso si parla di tautologie. Esempio: la proposizione p + (~p) è sempre vera ( è una tautologia). Alcune proposizioni composte possono risultare sempre false, in tal caso si parla di contraddizioni. Esempio: la proposizione q *(~q) è sempre falsa ( è una contraddizione).
24 Implicazione logica L implicazione logica è un connettivo logico attraverso il quale, a partire da due proposizioni p e q, si forma una nuova proposizione,chiamata p implica q e si scrive p q, la quale è falsa solo se p è vera e q è falsa Questa definizione si può riassumere mediante la seguente tabella di verità: p q p q falsa falsa vera falsa vera vera vera falsa falsa vera vera vera Si dice anche che p è condizione sufficiente per q; q è condizione necessaria per p; NOTARE CHE LA TABELLA DI VERITA DELL IMPLICAZIONE p q E EQUIVALENTE ALL ESPESSIONE p+ q Esempio p è la proposizione piove q è la proposizione Giulia resta a casa se piove allora Giulia resta a casa Usando l equivalenza con p+ q possiamo affermare : O non piove o Giulia resta a casa MA Se non piove Giulia può restare a casa oppure no!
25 CONTRARIA-INVERSA-CONTRONOMINALE Data l'implicazione p q (implicazione diretta), l'implicazione p q si dice contraria di ; l'implicazione q p si dice inversa di ; l'implicazione q p si dice contronominale di. L Implicazione diretta e contronominale sono logicamente equivalenti, come si può facilmente controllare costruendo le relative tavole di verità. Sempre utilizzando le tavole di verità si può dimostrare che una implicazione non equivale logicamente alla sua inversa né alla sua contraria. Tavole di verità p q falsa falsa vera vera vera vera vera vera falsa vera vera falsa vera falsa falsa vera vera falsa falsa vera falsa vera vera falsa vera vera falsa falsa vera vera vera vera Osserviamo che implicazione diretta e contronominale hanno lo stesso valore di verità, mentre l'inversa ha lo stesso valore di verità della contraria.
26 ESEMPI Sia N un numero intero p è la proposizione N ha lo zero come ultima cifra q è la proposizione N è pari Consideriamo l'implicazione p q "Se N ha lo zero come ultima cifra allora è pari"; VERA La sua contraria è: "Se N non ha lo zero come ultima cifra allora non è pari"; FALSA La sua inversa è: " Se N è pari allora ha lo zero come ultima cifra "; FALSA La sua contronominale è " Se N non è pari allora non ha lo zero come ultima cifra VERA Possiamo allora affermare: Condizione sufficiente, ma non necessaria, affinché N sia pari è che la sua ultima cifra sia lo zero Condizione necessaria, ma non sufficiente, affinché N abbia come ultima cifra lo zero, è che N sia pari.
27 LA DOPPIA IMPLICAZIONE Sia T un triangolo; Consideriamo le due proposizioni: p = T è rettangolo q = Le misure dei lati di T verificano la relazione pitagorica In questo caso p q : "Se T è rettangolo allora le misure dei lati di T verificano la relazione pitagorica VERA La sua contraria è: " Se T non è rettangolo allora le misure dei lati di T non verificano la relazione pitagorica VERA La sua inversa è: "Se le misure dei lati di T verificano la relazione pitagorica allora T è rettangolo VERA La sua contronominale è "Se le misure dei lati di T non verificano la relazione pitagorica allora T non è rettangolo VERA Le implicazioni sono tutte e quattro vere. Si parla allora di Implicazione doppia (p q )che si può esprimere nelle forme seguenti: p se e solo se q. p è condizione necessaria e sufficiente per q. p è equivalente a q. p q è vera quando p e q hanno lo stesso valore di verità p q p q falsa falsa vera falsa vera falsa vera falsa falsa vera vera vera
28 Possiamo allora affermare Se e solo se T è rettangolo allora le misure dei lati di T verificano la relazione pitagorica Condizione necessaria e sufficiente affinché i lati di T verifichino la relazione pitagorica è che T sia rettangolo Le due proposizioni: p T è rettangolo q Le misure dei lati di T verificano la relazione pitagorica sono logicamente equivalenti
29 REGOLE DI INFERENZA Regola di inferenza deduttiva o Modus ponens Se p q è vera e p è vera allora q è vera Tavole di verità p q falsa falsa vera falsa vera falsa vera vera falsa vera vera falsa falsa falsa vera vera vera vera vera vera
30 Regola di inferenza della contronominale o Modus tollens Se p q è vera e q è vera allora p è vera Tavole di verità p q falsa falsa vera vera vera falsa vera vera falsa vera vera falsa falsa falsa vera vera vera vera falsa vera ESEMPI se piove allora Giulia resta a casa A) PIOVE! allora Giulia resta a casa B) Giulia non resta a casa! allora Non piove
31 ESERCIZI (01) Dire quali delle seguenti coppie di forme proposizionali sono logicamente equivalenti ( il simbolo = NOT) : (a) A (b) (A B) (c) A B (d) A B (e) A (B C) (f) (A B) C (A B) (A B) A B B A ( A B) (A B) B (A C) (A C) (B C) risp: (a) (b) (d) (f) Risp: sotto la casella (02) Posto: A = Carlo è ligure e B = Diego è piemontese, scrivere le proposizioni che formalizzano i seguenti enunciati: (a) Carlo non è ligure risp( A) (b) Carlo è ligure e Diego è piemontese (c) Carlo è ligure sebbene Diego sia piemontese (d) Non è vero che Carlo sia ligure e Diego piemontese (e) Se Carlo non è ligure, allora Diego non è piemontese (f) È falso che se Carlo è ligure, allora Diego è piemontese (g) Carlo è ligure solo se Diego non è piemontese (h) Carlo è ligure se e solo se Diego è piemontese (i) O Carlo è ligure o, se Carlo non è ligure, allora Diego è piemontese (l) O Carlo è ligure e Diego è piemontese, o né Carlo è ligure, né Diego è piemontese (m) Carlo è ligure se Diego è piemontese RISPOSTE Risp sotto la (a) casella A (b) A B (c) A B (d) (A B) (e) A B (f) (A B) (g) A B (h) A B (i) A ( A B) (l) (A B) ( A B) (m) B A FINE
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
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
DettagliElementi 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
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 2 Dimostrazione di tautologie Proof System pag. 1 Un Problema di Deduzione Logica [da un test di ingresso] Tre amici, Antonio, Bruno e Corrado, sono incerti se andare
DettagliFondamenti 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
DettagliLe 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
DettagliUniversità 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
DettagliAlgebra 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
DettagliCorso E Docente: Siniscalchi. Algebra di Boole
Corso E Docente: Siniscalchi Algebra di Boole I circuiti logici sono componenti hardware che manipolano informazione binaria. I circuiti di base sono detti PORTE LOGICHE (logical gate). Allo scopo di descrivere
DettagliDI CHE COSA SI OCCUPA LA LOGICA
Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
DettagliPORTE 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
DettagliFondamenti di Informatica 2, Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela
Fondamenti di Informatica 2 Linguaggi e Complessità : Logica I Parte Lucidi di M.Schaerf e A.Marchetti Spaccamela Fondamenti di Informatica 2: Logica Indice degli argomenti Introduzione: Motivazioni, Prove,
Dettagli4. 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
DettagliLuca 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
Dettagli17/10/16. Espressioni Booleane
Espressioni Booleane Un espressione booleana è una sequenza composta da operatori booleani, parentesi, costanti e variabili booleane, induttivamente definita come segue: Espressioni ed operatori booleani
DettagliOperatori logici e algebra di boole
Operatori logici e algebra di boole 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
DettagliI.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
DettagliCorso di Calcolatori Elettronici I A.A Algebra di Boole Lezione 4
Corso di Calcolatori Elettronici I A.A. 2010-2011 Algebra di Boole Lezione 4 Università degli Studi di Napoli Federico II Facoltà di Ingegneria Segnali in circuiti elettronici digitali da: G. Bucci. Calcolatori
DettagliCircuiti 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
DettagliLogica proposizionale
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli
DettagliLogica: nozioni di base
Fondamenti di Informatica Sistemi di Elaborazione delle Informazioni Informatica Applicata Logica: nozioni di base Antonella Poggi Anno Accademico 2012-2013 DIPARTIMENTO DI SCIENZE DOCUMENTARIE LINGUISTICO
DettagliCenni di logica e calcolo proposizionale
Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni
DettagliAlgebra 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
DettagliFondamenti di Informatica B
Fondamenti di Informatica B Lezione n.2 Alberto Broggi Gianni Conte A.A. 25-26 Fondamenti di Informatica B Algebra booleana Circuiti logici Elementi primitivi Esercizi con elementi logici Lezione n.2n
DettagliInformatica. Logica e Algebra di Boole
Informatica Logica e Algebra di Boole La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso
DettagliAlgebra 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
DettagliMETODI 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
DettagliL'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
DettagliRicordando che: = si ha:
Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua
DettagliBREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
Dettaglianno 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
DettagliAlgebra 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
DettagliMateriale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita.
Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Intenderemo per PROPOSIZIONE (o ENUNCIATO) una qualunque
Dettagliassociate 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
DettagliINSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.
INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme
Dettaglisenza stato una ed una sola
Reti Combinatorie Un calcolatore è costituito da circuiti digitali (hardware) che provvedono a realizzare fisicamente il calcolo. Tali circuiti digitali possono essere classificati in due classi dette
DettagliDIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione
DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI Corso di Logica per la Programmazione SULLE LEGGI DEL CALCOLO PROPOSIZIONALE Abbiamo visto le leggi per l'equivalenza ( ),
DettagliCALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini
CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti
DettagliAlgebra 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
DettagliEsercitazioni 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
DettagliALGEBRA DI BOOLE. In caso di errori di battitura o se si volesse contribuire a migliorare la seguente guida contattare:
ALGEBRA DI BOOLE Indice Introduzione... 2 PRORIETA E TEOREMI DELL ALGEBRA DI BOOLE... 3 FUNZIONI LOGICHE PRIMARIE... 4 Funzione logica AND... 4 Funzione logica OR... 4 Funzione logica NOT... 5 FUNZIONI
DettagliLogica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
DettagliRichiami teorici ed esercizi di Logica
Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla
DettagliAlgebra di Boole. Le operazioni base sono AND ( ), OR ( + ), NOT ( )
Algebra di Boole Circuiti logici: componenti hardware preposti all'elaborazione delle informazioni binarie. PORTE LOGICHE (logical gate): circuiti di base. Allo scopo di descrivere i comportamenti dei
DettagliGeorge BOOLE ( ) L algebra booleana. (logica proposizionale)
George BOOLE (1815-64) L algebra booleana. (logica proposizionale) La logica e George BOOLE George BOOLE nel 1847 pubblicò il libro Mathematical Analysis of Logic, nel quale presentava ciò che oggi si
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
DettagliFondamenti della Matematica aa Prof. Tovena Proposizioni e tavole di verità
Proposizioni e tavole di verità Una proposizione è un enunciato (dichiarazione, frase) che può essere vero o può essere falso, ma non può essere contemporaneamente sia vero che falso. Essere vera o falsa
DettagliUn introduzione al corso di LOGICA PER LA PROGRAMMAZIONE
Un introduzione al corso di LOGICA PER LA PROGRAMMAZIONE Pisa, 14 e 16 settembre 2010 Andrea Corradini andrea@di.unipi.it LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento
DettagliPrerequisiti Matematici
Prerequisiti Matematici Richiami di teoria degli insiemi Relazioni d ordine, d equivalenza Richiami di logica Logica proposizionale, tabelle di verità, calcolo dei predicati Importante: Principio di Induzione
DettagliSemantica 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
DettagliCalcolo 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
DettagliAlgebra 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
DettagliElementi 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
DettagliMatematica 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
DettagliCalcolo numerico e programmazione Elementi di logica
Calcolo numerico e programmazione Elementi di logica Tullio Facchinetti 23 marzo 2012 10:50 http://robot.unipv.it/toolleeo Algebra booleana (George Boole (1815-1864)) è definita
DettagliAlgebra 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
DettagliOperatori di relazione
Condizioni Negli algoritmi compaiono passi decisionali che contengono una proposizione (o predicato) dal cui valore di verità dipende la sequenza dinamica Chiamiamo condizioni tali proposizioni Nei casi
DettagliLogica di Base. Docente: Francesca Benanti. 27 Gennaio 2007
Logica di Base Docente: Francesca Benanti 27 Gennaio 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica è
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliElementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
DettagliReti 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
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliAlgebra 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
DettagliFUNZIONI 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
DettagliAlgebra 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
DettagliMaiuscole e minuscole
Maiuscole e minuscole Abilità interessate Distinguere tra processi induttivi e processi deduttivi. Comprendere il ruolo e le caratteristiche di un sistema assiomatico. Riconoscere aspetti sintattici e
DettagliCorso di Architettura degli Elaboratori. Porte logiche (I) Architetture degli Elaboratori. Porte logiche (III) Porte logiche (II)
Corso di Architettura degli Elaboratori Il livello logico digitale: Algebra Booleana e Circuiti logici digitali di base Porte logiche (I) Invertitore a transistor: quando V in è basso, V out è alto e viceversa
DettagliProposizioni e verità
Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................
DettagliELEMENTI 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
DettagliUNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE
UNIVERSITÀ DEGLI STUDI LA SAPIENZA CORSO DI STUDI IN INFORMATICA ESERCITAZIONI AL CORSO DI LOGICA MATEMATICA LOGICA PROPOSIZIONALE TAVOLE DI VERITÀ, COLETEZZA VERO-FUNZIONALE Esercizio 1. Calcola le tavole
DettagliI circuiti digitali: dalle funzioni logiche ai circuiti
Architettura dei calcolatori e delle Reti Lezione 4 I circuiti digitali: dalle funzioni logiche ai circuiti Proff. A. Borghese, F. Pedersini Dipartimento di Scienze dell Informazione Università degli Studi
DettagliLogica proposizionale
Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)
DettagliIntroduzione alla logica
Corso di Intelligenza Artificiale 2011/12 Introduzione alla logica iola Schiaffonati Dipartimento di Elettronica e Informazione Sommario 2 Logica proposizionale (logica di Boole) Logica del primo ordine
DettagliElementi di Logica Teoria degli insiemi
Precorso di Analisi Matematica Facoltà d'ingegneria Università del Salento Elementi di Logica Teoria degli insiemi Proff. A. Albanese E. Mangino Dipartimento di Matematica e Fisica E. De Giorgi - Università
DettagliLogica 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
DettagliAlgebra 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
DettagliCorso di Elementi di Informatica Anno accademico 2015/16
Corso di Laurea triennale in Ingegneria Navale in condivisione con Corso di Laurea triennale in Ingegneria Chimica (matr. P-Z) Corso di Elementi di Informatica Anno accademico 2015/16 Docente: Ing. Alessandra
DettagliLA LOGICA ESERCIZI. Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità.
LA LOGICA 1. Le proposizioni logiche ESERCIZI Indica quali, fra le seguenti frasi, sono proposizioni logiche e attribuisci a queste ultime il relativo valore di verità. 1 A «1 1 è uguale a 5»; «Non si
DettagliAlgebra 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
DettagliFondamenti 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
DettagliAlgebra 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)
Dettagli1 (A,+) sia un gruppo abeliano, cioè soddisfi gli assiomi: x (y + z) = x y + x z (y + z) x = y x + z x
ANE ANELLI. Anelli In questa unità ci occupiamo di un particolare anelloide che prende il nome di anello. Si chiama anello ogni anelloide (A + ) tale che: (A+) sia un gruppo abeliano cioè soddisfi gli
DettagliUn po di logica. Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie
Un po di logica Logica delle proposizioni. Connettivi logici, tavole di verità e tautologie Proposizioni. Le proposizioni, anche dette affermazioni o enunciati, che si considerano in matematica sono quelle
DettagliSommario. 1 Algebra di Boole. 2 Algebra di commutazione. 4 Calcolo delle proposizioni
Sommario, funzioni booleane e calcolo delle proposizioni 1 M. Favalli 2 Algebra di commutazione Engineering Department in Ferrara 3 4 Sommario (ENDIF) Fondamenti teorici Reti logiche 1 / 54 (ENDIF) Fondamenti
DettagliInformatica di Base - 6 c.f.u.
Università degli Studi di Palermo Dipartimento di Ingegneria Informatica Informatica di Base - 6 c.f.u. Anno Accademico 2007/2008 Docente: ing. Salvatore Sorce Logica booleana e circuiti logici Perchè
Dettagli3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...
Capitolo 3. Logica 3. Logica Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... sei una persona priva di logica è logico comportarsi cosí fai l
DettagliCenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A
Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia
DettagliRichiami di logica matematica
Richiami di logica matematica Gli oggetti elementari dei discorsi matematici sono le proposizioni logiche = enunciati di cui si possa stabilire inequivocabilmente se sono veri o falsi. Sono proposizioni
DettagliI.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
DettagliI 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
DettagliPorte 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
DettagliNozioni di logica matematica
MINISTERO DELL ISTRUZIONE, DELL UNIVERSITA E DELLA RICERCA LICEO STATALE P. E. IMBRIANI Linguistico - Scientifico - Scientifico delle Scienze Applicate Via S. Pescatori, 155 83100 Avellino Tel. (2 linee)
DettagliESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
DettagliIntelligenza 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
DettagliProgramma del corso. Elementi di Programmazione. Introduzione agli algoritmi. Rappresentazione delle Informazioni. Architettura del calcolatore
Programma del corso Introduzione agli algoritmi Rappresentazione delle Informazioni Elementi di Programmazione Architettura del calcolatore Reti di Calcolatori Calcolo proposizionale Algebra Booleana Contempla
DettagliPROGRAMMA CONSUNTIVO
PAGINA: 1 PROGRAMMA CONSUNTIVO A.S.2014-2015 SCUOLA Liceo Linguistico Manzoni DOCENTE: Marina Barbàra MATERIA: Matematica e Informatica Classe 1 Sezione A OBIETTIVI: le parti sottolineate sono da considerarsi
Dettagli