Creeaza.com - informatii profesionale despre


Simplitatea lucrurilor complicate - Referate profesionale unice



Acasa » referate » matematica
Calcul propozitional

Calcul propozitional



Calcul propozitional

Legile si principiile care stau la baza algebrei logice sunt prezentate in continuare. Din cauza dualitatii existente intre operatiile logice “ ” si “ ” legile sunt prezentate in perechi echivalente.

1. Legile de idempotenta:

Un SI logic intre A si A are ca rezultat A: 0•0

Un SAU logic intre A si A are ca rezultat A: 0+0=0; 1+1=1

2. Legile de comutativitate:

Ordinea in care se aplica variabilele la intrarea unui SI logic este indiferenta.

Ordinea in care se aplica variabilele la intrarea unui SAU logic este indiferenta.

s

s

3. Legile de asociativitate:

La efectuarea unui SI logic intre mai multe variabile, modul de grupare a variabilelor este indiferent.

s

La efectuarea unui SAU logic intre mai multe variabile, modul de grupare a variabilelor este indiferent.

s

4. Legile de distributivitate:

s

s

5. Legile de absorbtie:

6. Legile elementului nul:

Un SI intre o variabila A si 0 este intotdeauna egal cu 0 indiferent de A.

Un SAU intre o variabila A si 1 este intotdeauna egal cu 1 indiferent de A.

7. Legile de identitate:

Un SI intre o variabila A si 1 este intotdeauna egal cu A.

Un SAU intre o variabila A si 0 este intotdeauna egal cu A.

8. Legile de complementaritate:

Un SI intre o variabila A si complementul ei este intotdeauna egal cu 0 indiferent de A.

Un SAU intre o variabila A si complementul ei este intotdeauna egal cu 1 indiferent de A.

9 Principiul dublei negatii:

O variabila negata de doua ori este egala cu varibila.

10. Teoremele lui De Morgan:

Formulele lui De Morgan dau posibilitatea de transformare a produsului logic in suma logica.

s

Intrari

Iesiri

A

B

AB

____

A+B

s

Intrari

Iesiri

A

B

A+B

AB

Teoremele lui De Morgan sunt valabile pentru un numar oarecare de variabile, astfel:

De asemenea fiecare variabila din expresie poate sa exprime o combinatie a altor variabile. Pentru exemplificare se prezinta modul de aplicare a teoremelor lui De Morgan asupra a doua functii X si Y :









Politica de confidentialitate

.com Copyright © 2020 - Toate drepturile rezervate.
Toate documentele au caracter informativ cu scop educational.


Proiecte

vezi toate proiectele
 SCHITA DE PROIECT DIDACTIC GEOGRAFIE CLASA: a IX-a - Unitatile majore ale reliefului terestru
 PROIECT DIDACTIC 5-7 ani Educatia limbajului - Cate cuvinte am spus?
 Proiect atestat Tehnician Electronist - AMPLIFICATOARE ELECTRONICE
 Proiect - masurarea si controlul marimilor geometrice

Lucrari de diploma

vezi toate lucrarile de diploma
 Lucrare de diploma - eritrodermia psoriazica
 ACTIUNEA DIPLOMATICA A ROMANIEI LA CONFERINTA DE PACE DE LA PARIS (1946-1947)
 LUCRARE DE DIPLOMA MANAGEMENT - MANAGEMENTUL CALITATII APLICAT IN DOMENIUL FABRICARII BERII. STUDIU DE CAZ - FABRICA DE BERE SEBES
 Lucrare de diploma tehnologia confectiilor din piele si inlocuitor - proiectarea constructiv tehnologica a unui produs de incaltaminte tip cizma scurt

Lucrari licenta

vezi toate lucrarile de licenta
 LUCRARE DE LICENTA CONTABILITATE - ANALIZA EFICIENTEI ECONOMICE – CAI DE CRESTERE LA S.C. CONSTRUCTIA S.A TG-JIU
 Lucrare de licenta sport - Jocul de volei
 Lucrare de licenta stiintele naturii siecologie - 'surse de poluare a clisurii dunarii”
 LUCRARE DE LICENTA - Gestiunea stocurilor de materii prime si materiale

Lucrari doctorat

vezi toate lucrarile de doctorat
 Diagnosticul ecografic in unele afectiuni gastroduodenale si hepatobiliare la animalele de companie - TEZA DE DOCTORAT
 Doctorat - Modele dinamice de simulare ale accidentelor rutiere produse intre autovehicul si pieton
 LUCRARE DE DOCTORAT ZOOTEHNIE - AMELIORARE - Estimarea valorii economice a caracterelor din obiectivul ameliorarii intr-o linie materna de porcine

Proiecte de atestat

vezi toate proiectele de atestat
 PROIECT ATESTAT MATEMATICA-INFORMATICA - CALUTUL INTELIGENT
 Proiect atestat Tehnician Electronist - AMPLIFICATOARE ELECTRONICE
 ATESTAT PROFESIONAL LA INFORMATICA - programare FoxPro for Windows
 ATESTAT PROFESIONAL TURISM SI ALIMENTATIE PUBLICA, TEHNICIAN IN TURISM




Vectori proprii. Valori proprii. Definitii. Proprietati
Teoria Grafurilor – Tema
FORMULE DE GEOMETRIE ANALITICA IN PLAN
Tetraedre Crelle
CODURI CONVOLUTIONALE
METODA INDUCTIEI MATEMATICE COMPLETE, ANALIZA COMBINATORIE, BINOMUL LUI NEWTON, SUME
Transformata z
Tetraedre izodinamice si izofaciale




Termeni si conditii
Contact
Creeaza si tu