Totalizarea adevărului complex de declarații, platforma de conținut

operații logice de prioritate

1) inversie 2) 3) disjuncție 4) Implicații și echivalența conjuncția

Cum de a crea un tabel de adevăr?

Prin definiție, tabelul de adevăr cu formula logică exprimă corespondența între toate seturile posibile de valori și valorile variabilelor formulei.

Pentru o formulă care conține două variabile, astfel de seturi de valori în toate cele patru variabile:

Dacă formula include trei variabile posibile seturi de valori ale variabilelor opt (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0 ), (1, 0, 1), (1, 1, 0), (1, 1, 1).

Numărul de seturi pentru formula cu patru variabile este de șaisprezece, și așa mai departe. D.

O formă convenabilă de înregistrare atunci când valoarea formulei este un tabel care conține valorile altele decât valorile și formulele variabile sunt de asemenea valori intermediare și formule.

1. formează tabelul de adevăr pentru formula, care cuprinde două variabile x și y. In primele două coloane din tabel scrie patru posibile perechi de valori ale acestor variabile în coloanele ulterioare - valori intermediare și formule în ultima coloană - valoarea formulei. Ca rezultat, obținem tabelul următor:

Tabelul arată că formula, în unele cazuri, ia valoarea 1, iar în unele - 0. adică este greu de realizat.

Bob a întrebat mama: „Puteți merge la cinema sau fotbal,“ Mama a spus nu. Cum băiatul?

Verificați corectitudinea legii de către un tabel de adevăr.

Clasa sa dovedit a fi de sticlă spartă. Profesorul explică directorul: Nick a făcut sau Sasha. Dar Sasha a făcut asta, t. Pentru a. De data asta mi-a dat de credit. În consecință, a făcut-Kohl.

Soluție: oficializează această o propunere dificilă.

De - a făcut Kohl

Cu - a făcut Sasha

Max propoziții simple n = 2.

1) Se determină numărul de rânduri și coloane din tabel de adevăr.

. Deoarece fiecare dintre afirmații simple pot avea doar două valori (0 sau 1), numărul de combinații diferite de valori ale lui n enunțuri - 2 n.

Numărul de rânduri din tabel = 2n + linia de antet.

Numărul de coloane din tabel este suma cantități de propoziții simple (n) și numărul de operații logice diferite incluse într-o declarație complexă.

În acest exemplu: numărul de linii - 1 = 22 + 5

coloană - 2 + 4 = 6

2) Desenați un tabel și completați antetul

Prima linie - numere de coloane.

A doua linie a intermediarului cu formula și operațiunile condiționate de scriere corespunzătoare asupra valorilor.

În exemplul nostru, prima umplere a coloanelor 1 și a 2.

În conformitate cu tabelele de adevăr corespunzătoare operații logice, în care în timpul umplerii fiecărei operații de coloană sunt efectuate pe valorile uneia sau două coloane, amplasate în partea stângă a umpluturii.

Deci, se calculează valorile a treia coloană din valorile 2-a, atunci valoarea a 4 - în conformitate cu valorile 1 și 2 ...