Notiuni de algebra booleana

Documente similare
Prelegerea 4 În această prelegere vom învăţa despre: Algebre booleene; Funcţii booleene; Mintermi şi cuburi n - dimensionale. 4.1 Definirea algebrelor

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par

Microsoft Word - cap1p4.doc

Limbaje de ordinul I LOGICA DE ORDINUL I Un limbaj L de ordinul I este format din: o mulţime numărabilă V = {v n n N} de variabile; conectorii şi ; pa

LOGICA MATEMATICA SI COMPUTATIONALA Sem. I,

Probleme date la examenul de logică matematică şi computaţională. Partea a II-a Claudia MUREŞAN Universitatea din Bucureşti Facultatea de Matematică ş

C:/Users/Lenovo/Dropbox/activitate matematica/cursuri/MS ETTI /msetti.dvi

Gheorghe IUREA Adrian ZANOSCHI algebră geometrie clasa a VII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA 45 Matematică. Clasa a VII-

ExamView Pro - Untitled.tst

Logică și structuri discrete Mulțimi Casandra Holotescu

FIŞA DISCIPLINEI

Prelegerea 3 În această prelegere vom învăţa despre: Clase speciale de latici: complementate. modulare, metrice, distributive şi 3.1 Semi-distributivi

PowerPoint Presentation

Cursul 6 Cadru topologic pentru R n În continuarea precedentei părţi, din cursul 5, dedicată, în întregime, unor aspecte de ordin algebric (relative l

Microsoft Word - D_ MT1_II_001.doc

Cursul 1 1. Introducere Corpul numerelor complexe Dezvoltarea istorică a gândirii matematice a urmărit îndeaproape evoluţia ideii de număr. Această ev

De la BIT la procesor

Geometrie afină Conf. Univ. Dr. Cornel Pintea cpintea math.ubbcluj.ro Cuprins 1 Săptămâna Endomorfismele unui spaţiu afin Transla

carteInvataturaEd_2.0_lectia5.pdf

Limbaje Formale, Automate si Compilatoare

Probleme proiect TP BITPERM Implementați un algoritm care citește de la intrarea standard două numere naturale și scrie la ieșirea standard da

DAN LASCU ADRIANA-LIGIA SPORIŞ ANDA OLTEANU PAUL VASILIU MATEMATICĂ. CULEGERE DE PROBLEME TIP GRILĂ PENTRU ADMITEREA ÎN ACADEMIA NAVALĂ MIRCEA CEL BĂT

Slide 1

Dorel LUCHIAN Gabriel POPA Adrian ZANOSCHI Gheorghe IUREA algebră geometrie clasa a VIII-a ediţia a V-a, revizuită mate 2000 standard EDITURA PARALELA

Elemente de aritmetica

Microsoft Word - Curs1.docx

D.Rusu, Teoria măsurii şi integrala Lebesgue 6 MĂSURA LEBESGUE Cursul 5 Teorema 6.26 Există submulţimi ale lui R care nu sunt măsurabile Lebesgue. Dem

I

Distanţa euclidiană (indusă de norma euclidiană) (în R k ). Introducem în continuare o altă aplicaţie, de această dată pe produsul cartezian R k XR k,

Şcoala ………

Clasa IX 1. O lăcustă face salturi, fiecare salt în linie dreaptă şi de două ori mai lung ca precedentul. Poate vreodată lăcusta să revină în punctul

curs 9 v3 [Compatibility Mode]

Facultatea de Matematică Anul II Master, Geometrie Algebrică Mulţimi algebrice ireductibile. Dimensiune 1 Mulţimi ireductibile Propoziţia 1.1. Fie X u

PROGRAMA CONCURSULUI NAŢIONAL

gaussx.dvi

PowerPoint Presentation

Coman Marinela Furnizor program formare acreditat: CCD BRĂILA Denumire program: INFORMATICĂ ŞI TIC PENTRU GIMNAZIU Clasa a V-a Categorie: 1; Tip de co

Microsoft Word - O problema cu bits.doc

Performanta in matematica de gimnaziu si liceu-program de pregatire al elevilor olimpici MULTIMI. OPERATII CU MULTIMI Partea I+II Cls. a V-a

Logică și structuri discrete Limbaje regulate și automate Marius Minea marius/curs/lsd/ 24 noiembrie 2014

Logică și structuri discrete Logică propozițională Marius Minea marius/curs/lsd/ 3 noiembrie 2014

Acest fișier conține rezumatul anumitor explicații prezente în Curs - privind Sintaxa GNY Totul este legat de Alf = alfabetul de neterminali/ unități

Examenul de bacalaureat 2012

ALGORITMII ŞI REPREZENTAREA LOR Noţiunea de algoritm Noţiunea de algoritm este foarte veche. Ea a fost introdusă în secolele VIII-IX de către Abu Ja f

Spatii vectoriale

Logică și structuri discrete Relații. Funcții parțiale Marius Minea marius/curs/lsd/ 20 octombrie 2014

Aero-BCD, , Prof. L. Costache & M. Olteanu Notițe de Adrian Manea Seminar 5 Șiruri și serii de funcții. Serii de puteri 1 Șiruri de funcții D

1. Găsiți k numerele cele mai apropiate într-un şir nesortat Dându-se un şir nesortat și două numere x și k, găsiți k cele mai apropiate valori de x.

Matematica VI

Electricitate II

Microsoft Word - Planuri_Mate_

Fâciu N. Maria-Ema CASA CORPULUI DIDACTIC BRĂILA PROGRAM DE FORMARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A SERIA 1 GRUPA 2 CURSANT: Fâciu N. M

Cursul 12 (plan de curs) Integrale prime 1 Sisteme diferenţiale autonome. Spaţiul fazelor. Fie Ω R n o mulţime deschisă şi f : Ω R n R n o funcţie de

Microsoft Word - V_4_Inmultirea_nr_nat.doc

Slide 1

UNIVERSITATEA BABEŞ-BOLYAI CLUJ-NAPOCA FACULTATEA DE MATEMATICĂ ŞI INFORMATICĂ Concurs MATE-INFO UBB 6 aprilie 2019 Proba scrisă la MATEMATICĂ NOTĂ IM

Școala: Clasa a V-a Nr. ore pe săptămână: 4 Profesor: MATEMATICĂ Clasa a V-a Aviz director PLANIFICARE CALENDARISTICĂ ORIENTATIVĂ Nr. crt. Unitatea de

-

Lucian L. TURDEANU Georgeta D. POP (MANEA) BAZELE GEOMETRICE ALE FOTOGRAMETRIEI CONSPRESS BUCUREŞTI 2009

Microsoft Word - unitati de invatare 11liceu-12 sam

Tiberiu Trif Analiză matematică 2 Calcul diferențial și integral în R n

CAPITOLUL I

Microsoft Word - Lab1a.doc

20 SUBIECTE DE EXAMEN - De fapt, în pofida acestor probleme, până la urmă tot vom logaritma, căci aceasta este tehnica naturală în context. Trebuie do

Microsoft Word - TIC5

Retele Petri si Aplicatii

Şiruri de numere reale Facultatea de Hidrotehnică Universitatea Tehnică Gheorghe Asachi Iaşi, 2015 Analiză Matematică Lucian Maticiuc 1 / 29

Cursul 7 Formula integrală a lui Cauchy Am demonstrat în cursul precedent că, dacă D C un domeniu simplu conex şi f : D C o funcţie olomorfă cu f cont

Algebra si Geometri pentru Computer Science

Laborator 4: Continuare Programare Orientată pe Obiecte Întocmit de: Adina Neculai Îndrumător: Asist. Drd. Gabriel Danciu 29 octombrie 2011

ETTI-AM2, , M. Joița & A. Niță Notițe de Adrian Manea Seminar 11 Transformarea Laplace Aplicații Transformarea Z Ecuații și sisteme diferenți

SSC-Impartire

Noțiuni matematice de bază

Microsoft Word - Matematika_kozep_irasbeli_jav_utmut0513V28_roman.doc

ASDN

Cursul 8 Funcţii analitice Vom studia acum comportarea şirurilor şi seriilor de funcţii olomorfe, cu scopul de a dezvălui o proprietate esenţială a ac

Operatorii in C Expresii Operatori aritmetici Operatori de asignare Operatori de incrementare si decrementare Operatori relationali Operatori logici O

CERCURI REMARCABILE ASOCIATE UNUI TRIUNGHI CERCURI EXÎNSCRISE Natura vorbeşte în limbajul matematicii: literele acestei limbi sunt cercuri, tri

Baze de date Anul 2 Teorie Examen 1. Diagrama entitate/relatie si diagrama conceptuala (curs 2-5) 2. Arbore algebric si expresie algebrica (curs 6-10)

Prezentarea cursului Didactica Matematicii Oana Constantinescu

TEORIA MĂSURII Liviu C. Florescu Universitatea Al.I.Cuza, Facultatea de Matematică, Bd. Carol I, 11, R Iaşi, ROMANIA, e mail:

Analiz¼a Matematic¼a - Curs 6 M¼ad¼alina Roxana Buneci

Capitole Speciale de Informatică Curs 1: Extragerea informaţiilor. Modelul boolean şi modelul boolean extins 27 septembrie 2018 Extragerea informaţiil

Microsoft Word - Programa finala olimpiadei matematica 2007 gimnaziu.doc

CONCURSUL NAŢIONAL DE MATEMATICĂ APLICATĂ ADOLF HAIMOVICI Etapa locală, 24 februarie 2017 PROFIL TEHNIC ŞI SERVICII, RESURSE NATURALE, PROTECŢIA MEDIU

1

CASA CORPULUI DIDACTIC BRĂILA PORTOFOLIU EVALUARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A Neamț SERIA 1 GRUPA 1 CURSANT: ALTERESCU V. IULIA-CRI

matematica

Analiză statică Analiza fluxului de date 23 octombrie 2014

Teoreme cu nume 1. Problema (Năstăsescu IX, p 147, propoziţia 5) Formula lui Chasles Pentru orice puncte M, N şi P avem MN + NP = MP.

Examenul de bacalaureat 2012

Examenul de bacalaureat 2012

ALGEBRA PENTRU INFORMATICĂ GEORGE CIPRIAN MODOI Cuprins Bibliografie 2 1. Mulţimi, Funcţii, Relaţii Preliminarii logice 3 Exerciţii la Prelimin

Microsoft Word - matem_aplicate in Economie aa FD Bala.doc

Sinteza lucrarii Algebre Hopf, omologie ciclica si categorii monoidale Proiect Idei (Cod 69), contract nr. 560/2009 Director: prof. dr. Dragos STEFAN

Analiză de flux de date 29 octombrie 2012

Programarea şi utilizarea calculatoarelor

Pachete de lecţii disponibile pentru platforma AeL

Transcriere:

Noţiuni de algebră booleană (în lucru)

Definiţie Algebră booleană = o structură algebrică formată din: O mulţime B Două operaţii binare notate cu (+) şi (.) O operaţie unară notată cu ( ) pentru care sunt valabile 6 axiome:

Axiomele algebrei booleene 1. Mulţimea B conţine cel puţin două elemente diferite 2. Axioma închiderii: operaţiile (+) şi (.) sunt operaţii interne adică: a,b B (i) a+b B (ii) a.b B

Axiomele algebrei booleene 3. Existenţa elementelor neutre pentru operaţiile binare (i) element neutru faţă de operaţia (+) notat cu 0 a.î.: a B, a+0=a (i) element neutru faţă de operaţia (.) notat cu 1 a.î. a B, a.1=a

Axiomele algebrei booleene 4. Comutativitate a,b B (i) a+b=b+a (ii) a.b=b.a 5. Distributivitatea a,b B (i) a+(b.c) =(a+b).(a+c) (ii) a.(b+c)=a.b+a.c

Axiomele algebrei booleene 6. Existenţa elementului opus a B, există elementul opus lui a, notat a a.î.: (i) a+a'=1 (ii) a.a'=0

Denumirea operaţiilor Operaţia + se numeşte sumă logică, adunare logică, surjecţie şi o vom numi pe scurt sumă Operaţia. se numeşte produs logic, înmulţire logică, conjuncţie şi o vom numi pe scurt produs Operaţia se numeşte negare sau complementare

Prioritatea operaţiilor În cadrul unei algebre booleene operaţiile au urmatoarea prioritate ( ) expresiile din paranteză operaţia de complementare. operaţia de înmulţire logică + operaţia de sumare logică

Principiul dualităţii Axiomele algebrei booleene sunt prezentate în perechi fiecare axiomă din pereche fiind duala celeilalte O axiomă se poate obţine din duala sa modificând operaţia + cu operaţia. şi elementul 0 cu elementul 1 (şi invers). Exemplu: existenţa elementului opus (i) a + a = 1 (ii) a. a = 0

Proprietăţile algebrei booleene Idempotenţa a B (i) a + a = a (ii) a.a = a Proprietăţile lui 0 şi 1 a B (i) a+1=1 (ii) a.0 = 0

Proprietăţile algebrei booleene Unicitatea lui 0 şi 1 Elementele 0 şi 1 sunt unice Unicitatea elementului opus Pentru a B, a este unic Distincţia dintre 0 şi 1 Elementele 0 şi 1 sunt distincte Involuţia a B, (a')'=a

Proprietăţile algebrei booleene Absorbţia a,b B (i) a + a.b = a (ii) a.(a+b) = a Asociativitatea a,b,c B (i) a + (b + c) = (a + b) + c (ii) a. (b. c) = (a. b). c

Proprietăţile algebrei booleene De Morgan a,b B (i) (a + b) = a. b (ii) (a. b) = a + b

Exemple de algebre booleene Algebra binară B={0,1} împreună cu operaţiile Definire alternativă a operaţiilor

Exemple de algebre booleene Simboluri Contact normal deschis (cnd) Contact normal închis (cni) K= mulţimea contactelor electrice împreună cu operaţiile: Legare în serie Legare în paralel Schimbarea stării contactului

Comutativitate a b b a a b b a

Element neutru a 1 a a a 0

Distributivitate a a a b c b c b a b a c a c

Element opus a a 0 a 1 a

Idempotenţa a a a a a a

Proprietăţile lui 0 si 1 a 0 0 a 1 1

Absorbţia a a a b a a a b

De Morgan a d a b F b d F a b d a F d F b

Funcţiile booleene de două variabile n=2 nr. de variabile 2 2 =4 combinaţii de valori pentru variabile 2 2 2 =16 funcţii de 2 variabile

Funcţiile booleene de două variabile F0 = 0 Funcţia constantă 0 F1 = A.B (SI) AND F2 = AB' Inhibiţie (A dar nu B) F3 = A Identitate F4 = A B Inhibiţie (B dar nu A) F5 = B Identitate F6 = AB' + A'B SAU-Exclusiv (XOR), se notează şi A B F7=A+BSAU F8 = (A + B)' SAU-NU (NOR) (în logica matematică denumită funcţia lui Peirce, se mai notează A B F9 = A'B' + AB Echivalenţă, se notează şi A B F10=B' Complement, NU (NOT) F11 = A + B' Implicaţie (B implică A), se notează şi B A F12 = A'Complement, NU (NOT) F13= A' + B Implicaţie (A implică B), se notează şi A B F14 = (AB)' SI-NU (NAND) - în logica matematică denumită funcţia Sheffer, se mai notează A B F15 = 1 Funcţia constantă 1