ALGEBRA E LOGICA (v1.5)



Похожие документы
Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora:

STRUTTURE ALGEBRICHE

Prodotto elemento per elemento, NON righe per colonne Unione: M R S

Teoria degli insiemi

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI

Anello commutativo. Un anello è commutativo se il prodotto è commutativo.

Algebra di Boole ed Elementi di Logica

4 3 4 = 4 x x x 10 0 aaa

G. Pareschi ALGEBRE DI BOOLE. 1. Algebre di Boole

Appunti di informatica. Lezione 2 anno accademico Mario Verdicchio

L espressione torna invece sempre vera (quindi la soluzione originale) se cambiamo contemporaneamente il verso: 1 < 0.

Algebra Booleana 1 ALGEBRA BOOLEANA: VARIABILI E FUNZIONI LOGICHE

Esercitazioni di Reti Logiche. Lezione 2 Algebra Booleana e Porte Logiche. Zeynep KIZILTAN zkiziltan@deis.unibo.it

DOMINI A FATTORIZZAZIONE UNICA

1. PRIME PROPRIETÀ 2

Numeri naturali numeri naturali minore maggiore Operazioni con numeri naturali

4. Strutture algebriche. Relazioni

Alcune nozioni di base di Logica Matematica

SOMMARIO I radicali pag I radicali aritmetici pag Moltiplicazione e divisione fra radicali aritmetici pag.

Parte 2. Determinante e matrice inversa

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.

APPLICAZIONI LINEARI

Le equazioni. Diapositive riassemblate e rielaborate da prof. Antonio Manca da materiali offerti dalla rete.

Capitolo I STRUTTURE ALGEBRICHE ELEMENTARI

Calcolatori: Algebra Booleana e Reti Logiche

Dimensione di uno Spazio vettoriale

f: AxB f(x)=y, f={<x,y> per ogni x in A esiste unica y in B f(x)=y} f={<1,2>, <2,3>, <3,3>} : {1,2,3} {1,2,3} f(1)=2, f(2)=3, f(3)=3

Lezione 9: Cambio di base

razionali Figura 1. Rappresentazione degli insiemi numerici Numeri reali algebrici trascendenti frazionari decimali finiti

LE FUNZIONI A DUE VARIABILI

2 FUNZIONI REALI DI VARIABILE REALE

Prodotto libero di gruppi

Parte 6. Applicazioni lineari

3 GRAFICI DI FUNZIONI

1 Insiemi e terminologia

Percorsi di matematica per il ripasso e il recupero

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme

Applicazioni lineari

EQUAZIONI DIFFERENZIALI. 1. Trovare tutte le soluzioni delle equazioni differenziali: (a) x = x 2 log t (d) x = e t x log x (e) y = y2 5y+6

L anello dei polinomi

Esercizi su lineare indipendenza e generatori

I sistemi di numerazione

PROPRIETA' ASSOCIATIVA La somma di tre o più addendi non cambia se al posto di alcuni di essi si sostituisce la loro somma.

CONCETTO DI LIMITE DI UNA FUNZIONE REALE

Corso introduttivo pluridisciplinare Strutture algebriche

LE FUNZIONI E LE LORO PROPRIETÀ

Proof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme

Funzioni inverse Simmetrie rispetto alla bisettrice dei quadranti dispari. Consideriamo la trasformazione descritta dalle equazioni : = y

R X X. RELAZIONE TOTALE Definizione: Si definisce relazione totale tra x e y se dati X,Y diversi dall'insieme vuoto

I tre concetti si possono descrivere in modo unitario dicendo che f e iniettiva, suriettiva, biiettiva se e solo se per ogni b B l equazione

x u v(p(x, fx) q(u, v)), e poi

UNIVERSITÀ DEGLI STUDI DI TERAMO

Anelli a fattorizzazione unica. Domini ad ideali principali. Anelli Euclidei

Aritmetica: operazioni ed espressioni

Lezioni di Matematica 1 - I modulo

Il principio di induzione e i numeri naturali.

APPUNTI DI MATEMATICA ALGEBRA \ INSIEMISTICA \ TEORIA DEGLI INSIEMI (1)

Funzione reale di variabile reale

FUNZIONI ELEMENTARI - ESERCIZI SVOLTI

10. Insiemi non misurabili secondo Lebesgue.

Elementi di topologia della retta

Matematica generale CTF

FUNZIONE. Si scrive: A B f: A B x y=f(x) (si legge: f funzione da A in B) x f y= f(x)

Fondamenti di Informatica II

Nel seguito, senza ulteriormente specificarlo, A indicherà un anello commutativo con identità.

L Ultimo Teorema di Fermat per n = 3 e n = 4

11) convenzioni sulla rappresentazione grafica delle soluzioni

Corso PAS Anno ESEMPIO. Per n = 3, Z 3 contiene 3 elementi:

4 Dispense di Matematica per il biennio dell Istituto I.S.I.S. Gaetano Filangieri di Frattamaggiore EQUAZIONI FRATTE E SISTEMI DI EQUAZIONI

( x) ( x) 0. Equazioni irrazionali

EQUAZIONI DIFFERENZIALI Esercizi svolti. y = xy. y(2) = 1.

Indice generale. Modulo 1 Algebra 2

4. Operazioni elementari per righe e colonne

RELAZIONI BINARIE. Proprietà delle relazioni Data una relazione R, definita in un insieme non vuoto U, si hanno le seguenti proprietà :

Algebra e Logica Matematica. Calcolo delle proposizioni Logica del primo ordine

INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI

Pre Test Matematica

LOGICA PER LA PROGRAMMAZIONE. Franco Turini

Algebra di Boole. Le operazioni, nell algebra booleana sono basate su questi tre operatori: AND ( ), OR ( + ),NOT ( )

Lezione 6. Divisibilità e divisori. Teorema di divisione euclidea. Algoritmo delle divisioni successive.

Ottimizazione vincolata

Operatori logici e porte logiche

Algebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa.

Una ricetta per il calcolo dell asintoto obliquo. Se f(x) è asintotica a mx+q allora abbiamo f(x) mx q = o(1), da cui (dividendo per x) + o(1), m =

1 n. Intero frazionato. Frazione

ALGEBRA I: NUMERI INTERI, DIVISIBILITÀ E IL TEOREMA FONDAMENTALE DELL ARITMETICA

ESTRAZIONE DI RADICE

CONI, CILINDRI, SUPERFICI DI ROTAZIONE

MATEMATICA DEL DISCRETO elementi di teoria dei grafi. anno acc. 2009/2010

DI D AGRA R MM M I M A BLOCC C H C I TEORI R A E D D E SERC R I C ZI 1 1

CAPITOLO 16 SUCCESSIONI E SERIE DI FUNZIONI

Matematica 1 - Corso di Laurea in Ingegneria Meccanica

Algebra e Geometria. Ingegneria Meccanica e dei Materiali Sez (2) Ingegneria dell Automazione Industriale Sez (2)

Il simbolo. è è = = = In simboli: Sia un numero naturale diverso da zero, il radicale. Il radicale. esiste. esiste 0 Il radicale

Algebra Lineare e Geometria

SCHEDA DI RECUPERO SUI NUMERI RELATIVI

ESEMPIO 1: eseguire il complemento a 10 di 765

Parte 3. Rango e teorema di Rouché-Capelli

Appunti di LOGICA MATEMATICA (a.a ; A.Ursini) Algebre di Boole. 1. Definizione e proprietá

Транскрипт:

ALGEBRA E LOGICA (v1.5) Iniettività e suriettività: Per dimostrare che una funzione è iniettiva basta provare che se a1 = a2 => f(a1) = f(a2) per ogni valore di a (la cardinalità del codominio è maggiore o uguale di quella del dominio B >= A ) Per dimostrare che è suriettiva basta dimostrare che il numero di elementi del codominio è minore o uguale del dominio B <= A La funzione è biiettiva quando B = A ed è sia suriettiva che iniettiva. Relazioni Una relazione tra insiemi A e B è un sottoinsieme del prodotto cartesiano R c (A x B) Due elementi della relazione si indicano con arb relazione di equivalenza: i. riflessiva se ara ii. simmetrica se arb => bra iii. transitiva arb brc => arc negli esercizi sono abbastanza facili da provare; di solito basta testare le proprietà con tutti gli elementi relazione d ordine: i. riflessiva (come sopra) ii. antisimmetrica arb e bra => b=a iii. transitiva (come sopra) esempio: relazione >= è d ordine perchè a>=a per qualsiasi a in R (riflessiva); a>=b e b>=a => che a=b (antisimmetrica); a>=b e b>=c implica che a>=c (transitiva) Diagramma di Hasse a breve, appena capisco come disegnarlo... comunque si fa mettendo dal basso verso l alto gli elementi in modo che quello in basso si relazioni con tutti e tutti siano relazionati con quello più in alto (nel caso di >= se a è l elemento più piccolo, sarà quello più in basso nel diagramma) Maggioranti e minoranti L insieme dei maggioranti è l insieme degli elementi con cui è in relazione l elemento (esempio: magg(a)={tutti di elementi tali che arx } ) L insieme dei minoranti è l insieme degli elementi che si relazionano con l elemento (esempio: min(a)={tutti gli elementi tali che xra } )

Sup(a) è il più piccolo dei maggioranti. Se sup(a) c A allora si chiama Max(a) inf(a) è il più grande dei minoranti. Se inf(a) c A allora si chiama Min(a) Algoritmo di Euclide Si usa per calcolare mcd(m,n) e si usa così: m=(q0)n+r1 n=(q1)r1+r2 r1=(q2)r2+r3...ecc. ecc. fino ad ottenere rk=(qh)rh+rc rh=qrc + 0 in questo caso rc=mcd(m,n) Esempio: mcd(1567, 311) 1567=5*311 + 12 (dove 12 è 1567-3*311) 311= 25*12 + 11 12= 1*11 + 1 11= 11*1 + 0 L algoritmo finisce qui e l ultimo resto prima dello 0 è 1, quindi mcd(1567, 311)= 1 Equazioni del tipo mx+ny=c Le equazioni di questo tipo sono risolvibili solo se mcd (m,n) divide c I coefficienti m, n e c vanno semplificati dividendo per mcd(m,n) Si esegue poi l algoritmo di Euclide appuntandosi di volta in volta i quozienti, poi si procede così: 1*m + 0*n = m 0*m + 1*n = n da qui in poi, i fattori che moltiplicano m e n sono quello di due equazioni precedenti meno quello dell equazione precedente moltiplicato per il quoziente: [1-(0*q0)]*m + [0-(1*q0)]n = r1 ecc. ecc. finchè non si ottiene l equazione x*m+y*n=1 la soluzione generale a questo punto diventa: (cx+am, cy+an) dove A è un numero

intero esempio: 1567x+311y=3 mcd(1567,311)=1 e 1 divide 3 (semplificare a questo punto è inutile); l equazione ammette soluzioni 1*1567 + 0*311 = 1567 0*1567 + 1*311 = 311 1*1567-5*311 = 12 (poichè q0=5) -25*1567 + 126*311 = 11 (q1=25) 26*1567-131*311 = 1 (q2=1) a questo punto l algoritmo è finito e la soluzione generale si scrive come (3*26+1567A, 3*131+311A) ovvero (78+1567A, 393+311A) con A numero intero arbitrario. Congruenze x y mod n La relazione modulo n ammette come classe di equivalenza le CLASSI RESTO ovvero numeri che, divisi per n, danno lo stesso resto. La relazione scritta sopra indica che x/ n e y/n hanno lo stesso resto. proprietà importanti delle congruenze: se a b mod n, c d mod n allora a+c b+d mod n e a*c b*d mod n Risolvere ed analizzare congruenze (Metodo 1) Una congruenza del tipo: ax b mod n ammette soluzioni solo se mcd(a,n) divide b In questo caso il calcolo si riduce all uso dell algoritmo di euclide: a=q0*n+r1 (mettere prima a o n è indifferente, dipende da quale è la maggiore tra le due) fino ad ottenere rk=1 a questo punto si riscrive l algoritmo nella forma: a*x + n*y = c e si procede come per le equazioni fino ad ottenere a*x1 + n*y1 = 1 e x1 sarà il risultato di una congruenza del tipo a*x1 1 mod n La soluzione generale della nostra congruenza sarà: (b*x1 + Mn)

Esempio: 101x 2 mod 103 mcd(101,103)= 1 e 1 divide 2 103= 1* 101 + 2 101= 50 * 2 + 1 2 = 2*1 + 0 1*103 + 0*101 = 103 0*103 + 1*101 = 101 1*103-1* 101 = 2-50*103 + 51*101 = 1 a questo punto 51 è una delle soluzioni della congruenza 101x 1 mod 103. Per ottenere le soluzioni della congruenza con 2, devo moltiplicare per 2 il risultato. La soluzione generale sarà dunque: x=102+103m Osservazione: un risultato nella forma x=102+103m, equivale a dire che x 102 mod 103 pertanto è possibile scrivere ogni congruenza di questo genere come: x x0 mod n Risolvere ed analizzare congruenze in un intervallo (Metodo 2): Ci viene proposta una congruenza del tipo ax b mod n. Ci viene proposto anche un intervallo [Z,T]. Bisogna scrivere la congruenza in forma mcd(), in questo caso mcd(a,n) = b. Scrivere l equazione diofantea: ax + ny = b Cercare due valori x,y che diano un uguaglianza identica del tipo: 1 = 1 e scrivere tali valori in forma: (x1,y1). Svolgere la formula: x2 = x1 + yk di cui x lo abbiamo calcolato in precedenza. Il valore k va variato a secondo dei valori dell intervallo Z,T... Esempio: 4x 1 mod 7 e intervallo [0,50] Il mio mcd diventa mcd(4,7) = 1 Applico la formula diofantea: 4x + 7y = 1 E trovo i valori (2,1) che mi fanno diventare l equazione 1=1 Ora la formula generale:

x2 = 2 +7k Vario il valore k secondo l intervallo andando da 0 ---> 50 e noto che arrivato al valore 7 sforo e arrivo a 51, quindi i valori corretti sono: k = 0, 1, 2, 3, 4, 5, 6 Mentre le soluzioni sono: {2, 9, 16, 23, 30, 37, 44} Sistemi di congruenze e teorema cinese del resto { ax b mod n { cx d mod m (considerate le due graffe come fossero un sistema unico) Per prima cosa si risolvono singolarmente le due congruenze fino ad ottenere le rispettive soluzioni generali (chiamiamole s1 e s2), poi, per l osservazione precedente, si riscrive il sistema come: {x s1 mod n {x s2 mod m a questo punto il sistema ammette soluzioni solo se mcd(m,n) divide s2-s1 Ora scriviamo la prima congruenza in forma esplicita come: x=s1+nk e sostituiamo la x nella seconda congruenza fino ad ottenere: s1+nk s2 mod m spostiamo s1 dall altra parte e otteniamo: nk s2-s1 mod m e risolviamo, con l algoritmo di euclide, questa congruenza in k ottenendo una soluzione del tipo: k=k0+mm ora sostituiamo il k nella prima congruenza in forma esplicita per ottenere: x= s1 +n(k0+mm) e svolgiamo le moltiplicazioni: x=(s1+nk0)+mnm

Osservazione: un sistema del tipo {x a mod n {x b mod m con mcd(m,n)=1 può essere scritto come una singola congruenza x x0 mod m*n e viceversa. Questo può essere comodo in alcuni casi per semplificare dei calcoli che vedremo più in seguito. Tabella delle operazioni mod n L insieme delle classi resto di un numero n contiene n elementi, ovvero le classi resto da 0 a n-1 Esempio: per n=4, Z4 = {0,1,2,3} Su questi insiemi è possibile effettuare delle operazioni che possono essere messe in tabella. per n=4, operazione di addizione: 0 1 2 3 0 0 1 2 3 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2 operazione di moltiplicazione: 0 1 2 3 0 0 0 0 0 1 0 1 2 3 2 0 2 0 2 3 0 3 2 1 Come si può notare, la classe resto 4 equivale a 0, la classe resto 5 equivale a 1 dato che, essendo la congruenza un operazione di divisione, dividere qualcosa per 4 e ottenere resto 4 e quoziente q equivale a dividere la stessa cosa per 4 ottenendo quoziente q+1 e resto 0.

Gruppi Un gruppo è un insieme e un operazione binaria con la proprietà associativa, l elemento neutro e l inverso. Se il gruppo ammette la proprietà commutativa si dice Abeliano. Cardinalità e inverso moltiplicativo La cardinalità di un insieme è il numero di elementi dell insieme. Particolarmente importante è la cardinalità di Zn* che permette di calcolare gli inversi moltiplicativi delle classi resto e si applica ai teoremi di Lagrange e Fermat. Zn* è l insieme delle classi resto di n che ammettono l inverso moltiplicativo. Una classe resto ammette l inverso moltiplicativo quando mcd (x,n)=1 per x classe resto cercata. L inverso moltiplicativo di q è quel numero che, moltiplicato per q è congruo a 1 mod n. Per calcolare l inverso moltiplicativo di un numero basta risolvere la congruenza: qx 1 mod n Mentre la cardinalità di Zn è n ( Zn = n), la cardinalità di Zn* si può calcolare tramite la funzione di eulero φ(n)=n (1-1/p) prodotto di tutti i divisori primi distinti di n. Esempio: dove è la produttoria, ovvero il Z60*=60(1-1/2)(1-1/3)(1-1/5)=16 vuol dire che 60 ha 16 classi resto che ammettono l inverso moltiplicativo.il calcolo della cardinalità delle classi resto può essere semplificato in varie maniere: 1. per p primo, φ(p)=p-1 2. per p primo φ(p^k)=p^k-p^(k-1) 3. siano r, s due divisori di n tali che mcd(r,s)=1, allora φ(n)=φ(r*s)=φ(r)*φ(s) Teorema di Lagrange (G, *) gruppo abeliano FINITO di cardinalità G =n (* è una generica operazione) allora, per ogni g contenuto in G vale che: g^n=g*g*g*...*g=e

Dove e è l elemento neutro dell operazione binaria del gruppo Esempio: (Zn, +) per ogni classe resto x in Zn, x+x+x+..+x n-volte si ha che x+x+...+x=0 Piccolo teorema di Fermat sia p un numero primo e x un intero tale che mcd(x,p)=1 allora x^(p-1) 1 mod p Questo permette di risolvere potenze enormi con classi resto: 5^124789 mod11 = 5^(10*12478 + 9) mod 11 = 5^(10*12478)*5^9 mod 11 (fino ad ora ho applicato solo proprietà delle potenze per ricondurre 5 ad una potenza di φ(11) =10) Ora, 5^10 1 mod 11 per Fermat, quindi la potenza diventa: 1^12478 * 5^9 mod 11 1 può essere quindi tolto e rimane da calcolare 5^9 mod 11 5^9 = (5^2)*(5^2)*(5^2)*(5^2)*5 mod 11 ma poichè 5^2=25 3 mod 11 (25=11*2 + 3), la potenza si riduce ancora a: 3*3*3*3*5 mod 11 ma 3^3 = 27 5 mod 11, quindi semplifico ancora come 5*3*5 mod 11. Inoltre 5*5 3 mod 11, quindi in definitiva rimane 3*3 mod 11 = 9 mod 11 Il teorema di Fermati ci permette di capire dunque che il resto della divisione di 5^124789 per 11 è 9: 5^124789 9 mod 11 Test di primalità (Miller-Rabin) e numeri di Carmichael per esaminare un numero n si prende un opportuno numero a tale che mcd(n,a)=1 Poi si procede calcolando la congruenza: a^(n-1) mod n in caso il risultato sia diverso da 1, allora n è un numero composto, in caso contrario si procede così: n-1=m*2^k (esempio: se n-1=20, m*2^k =5*2^2) e si scrive a^(n-1) come (a^m)^2^k

A questo punto se a^m 1 mod n, n ha passato il test ed è con buona probabilità un numero primo, altrimenti il test continua ponendo a^m=b. A questo punto se b^2^k 1 mod n, allora il numero è con buona probabilità primo, altrimenti è composto. Ci sono numeri che tuttavia passano il test di Miller-Rabin pur essendo composti: i numeri di Carmichael. Questi numeri hanno tre proprietà: 1. sono prodotto diretto di 3 o più numeri primi (n=p1*p2*...*pk) 2. i numeri primi sono a potenza 1 3. per ogni numero primo p che divide n, p-1 divide n-1 Alcuni numeri di Carmichael: 561=3*11*17 1729= 7*13*19 2465=5*17*29 2821=7*13*31 8911=7*19*67 Criptosistema a chiave pubblica RSA siano N, E, D interi con le seguenti proprietà: N = p*q dove p e q sono numeri primi molto grandi E*D 1 mod (p-1)(q-1) (ovvero E e D sono i rispettivi inversi moltiplicativi modulo (p-1)(q-1)) Osservazione: φ(n)=(p-1)(q-1) Sia m il messaggio da spedire. Esso viene criptato inviando il messaggio: m^e mod N (questo passaggio genera una stringa di lunghezza massima N) Il destinatario, una volta ricevuta la stringa, la eleva a potenza D, in tal modo viene che: m^(e*d) 1 mod N (piccolo teorema di Fermat) a questo punto, poichè E*D 1 mod (p-1)(q-1), la potenza si scrive come: m^(1+k(p-1)(q-1)) mod N = m*m^(k(p-1)(q-1)) mod N Di nuovo per il piccolo teorema di Fermat, m^(k(p-1)(q-1)) 1 mod N quindi m*1 m mod N

Algebra di Boole Un algebra di Boole è un insieme dotato di due operazioni binarie e di un operazione unaria o mappa (A,, v, ) Le operazioni hanno la proprietà distributiva, hanno l elemento neutro e un complemento (a complemento di a tale che a a = 1 e a v a = 0 Esempio: (P(x) insieme delle parti di x, U =, = v, CxA (complementare) = ) l elemento neutro di U = ø poichè A U ø = A l elemento neutro di = P(x) poichè A P(x)= A Proprietà delle algebre di boole: 1. idempotenza: a a = a; a v a = a 2. limitateza: siano 1 l elemento neutro di v e 0 l elemento neutro di (si, sono opposti -> ) a 1 = 1; a v 0 = 0 3. associatività: a b c = a (b c) = (a b) c a v b v c = a v (b v c) = (a v b) v c 4. il complemento è unico 5. involutività: (a ) = a 6. leggi di De Morgan: (a b) = a v b (a v b) = a b Polinomi booleani Se p e q sono polinomi allora anche p q, p v q, p, q sono polinomi. Le regole di calcolo sono diverse dal solito: Esempi: xx = x x+x = x x+xy = x x+yz = (x+y)(x+z) Polinomi diversi possono indurre soluzioni uguali! Due polinomi p e q sono equivalenti se hanno la stessa tabella di verità, cioè se inducono la stessa funzione. Prodotti fondamentali Sono prodotti di indeterminate (con o senza complemento) e ogni indeterminata appare al più una volta. Esempi: xy zy NO

Poichè: y y = 0 ---> xy zy = 0 xy z SI Somma di prodotti È una somma di prodotti fondamentali tali che nessuno di essi è contenuto in un altro. Esempi: xy + x z + x y z SI xy + x z + x yz NO Poichè: xy + x z + x yz = xy + x z (assorbimento: se p e q sono polinomi p+pq = p ) Somma di prodotti completi Somma di prodotti in cui appaiono tutte le indeterminate Esempio: 4 indeterminate x,y,z,t x yz t + xyz t + x y zt Ogni polinomio è uguale a una somma di prodotti e ad una sola somma di prodotti completi (forma normale disgiuntiva, f.n.d. ) Algoritmo per trovare una somma di prodotti completa: Si porta il polinomio in forma di prodotti, usando: -De Morgan per togliere i complementi fuori dalle parentesi -Proprietà distributiva: p(q+r) = pq + pr -Assorbimento per eliminare i prodotti superflui Si aggiungono le indeterminate mancanti usando la proprietà che: x + x = 1 Eliminare i prodotti superflui (ripetuti) Sia f una somma di prodotti. f si dice minimale se non ce ne sono di più semplici. Sia f un polinomio e p un prodotto. p si dice un implicante di f se vale una delle seguenti equivalenze: -p + f = f -la f.n.d. di p è contenuta nella f.n.d. di f Sia p un implicante di f, p è un implicante primo se cancellando una variabile da p otteniamo un prodotto che non è più implicante di f. Ogni polinomio è equivalente alla somma di tutti i suoi implicanti primi!

Metodo del consenso: Siano p e q due prodotti tali che p= axk q= bxk Allora il consenso di p e q è: ab indeterminata Xk tale che: Algoritmo per trovare gli implicanti primi: -Trovare due prodotti a cui applicare il consenso -Aggiungere il consenso -Usare l assorbimento -Ricominciare Quando non sarà più possibile applicare il consenso avremo la somma di tutti gli implicanti primi di f. Calcolo proposizionale una particolare algebra Booleana è il calcolo proposizionale. Esso ha due operazioni: = and; v = or; Una mappa: =not E due possibili valori: V = vero (o true) F = falso (o false) Con questi valori possiamo costruire le tabelle di verità delle varie operazioni: A B A A v B A B V V F V V V F F V F F V V V F F F V F F Ci sono poi altri operatori composti, ad esempio => che equivale a A v B Due operatori sono equivalenti se hanno la stessa tabella di verità. Si definisce tautologia una proposizione la cui tabella di verità è tutta vera Si definisce contraddizione una proposizione la cui tabella di verità è tutta falsa. Per risolvere una proposizione si procede in questo modo:

A B => A v B Si fanno le tabelle di verità dei singoli pezzi dell operatore, poi si riunisce tutto in un unica tabella fino ad ottenere: A B A A v B A B A B => A v B V V F V V V V F F V F V F V V V F V F F V F F V In questo caso il nostro operatore è una Tautologia. L elemento neutro della somma (v) è la contraddizione. L elemento neutro del prodotto ( ) è la tautologia. Formule di De Morgan (A v B) A B (A B) A v B A v A T (tautologia) A A C (contraddizione) Enunciati dipendenti da variabili P(x) x è una variabile, x A = dominio In qesto caso è necessario chiudere le variabili mediante dei quantifcatori: = per ogni = esiste x P(x) x P(x) = = Sono in grado di determinare che l enunciato è vero o falso ( x P(x) )= x P(x) ( x P(x) )= x P(x)

Esercizio: S: (AvB) B Esprimiamo S è una Tautologia usando i quantificatori: A, B S(A,B)=V A,B {V,F} S non è una Tautologia : A, B : S(A,B)=F Successioni ricorsive {An} successione è RICORSIVA se An= φ(an-1, An-2,..., An-k) An è definita in funzione di k termini precedenti. K = intero positivo = grado della successione. L equazione è LINEARE se φ è una funzione lineare. Cioè quando i termini An-1, An-2,..., An-k appaiono al 1 grado. L equazione è OMOGENEA se il termine noto è uguale a 0. L equazione è a COEFFICIENTI COSTANTI se i coefficienti dei termini An-1, An-2,..., An-k sono costanti (il termine noto non deve per fora esserlo).