formă normală disjunctivă perfectă și
forma perfecta normala conjunctiva
conjuncție elementară numit conjugarea mai multe variabile, combinate cu negație sau fără negație, care pot fi identice între variabilele: ¬ X X; X ¬ Z; ¬ X Y ¬ Z;
Elemental disjuncție disjuncție numite variabile multiple combinate cu negație sau fără negație, iar între aceleași variabile pot fi: ¬ XVX; XV ¬ Z; ¬ X V Y V ¬ Z;
Fiecare disjuncție elementară a conjuncțiilor numită o formă normală disjunctivă (DNF): (X X Ø Y) Ú(OX Z)
La fiecare disjuncțiilor conjunction elementare numit o forma normala conjunctiva (CNF): (X VX V ¬ Y) (¬ XVZ)
C overshennoy DNP numit DNP în care nu se conjunctii elementare identice și toate conjunctions constau unul și același set de variabile, la care este inclus doar o singură dată fiecare variabilă (eventual cu negație) X Y ¬ ZVX Y Z
C overshennoy numita CNF CNF, care au disjuncțiilor elementare identice și toate disjuncțiilor constau dintr-unul și același set de variabile, la care fiecare variabilă este inclusă o singură dată (eventual cu negație)
(¬ X VY V Z) (X V ¬ Y V Z.
Orice cu excepția constantele 0 și 1, pot fi reprezentate ca ambele PDNF și SKNF
Un algoritm de obținere a tabelului de adevăr PDNF
- TI a remarcat acele linii în ultima coloană, care sunt 1:
- Scrie pentru fiecare combinație rând selectat dintre toate variabilele în felul următor: în cazul în care valoarea unei variabile în rândul = 1, coroborat sine include acest if = 0, negația ei:
- Toți au primit o conjuncție pentru a lega la o disjuncție:
Un algoritm de obținere a tabelului de adevăr SKNF
TI a remarcat acele linii în ultima coloană, care sunt 0:Toți au primit disjunctie asociat în conjuncție:
Sarcini de muncă independentă
Trei profesori selectate sarcini pentru Olimpiadă. Puteți alege din mai multe sarcini. Pentru fiecare dintre obiectivele fiecăruia dintre profesori au exprimat opinia lor: un nu-brainer - (0) sau dificil (1). Sarcina inclusă în sarcina, care, dacă cel puțin doi profesori va sărbători ca un dificil, dar dacă toate cele trei profesori consideră că este dificil, o astfel de activitate nu este inclusă în sarcina concurs ca fiind prea dificil.
Asigurați-o formulă structurală și o diagramă funcțională a dispozitivului, care se va produce la ieșire 1 dacă sarcina inclusă în Olimpiada de locuri de muncă și 0 dacă nu este activată.