Un exemplu de muncă student la masa de scriere de adevăr
Cum de a crea un tabel de adevăr pentru o expresie logică complexă?
Scopul studiului
Aflați o metodă de construire a unui tabel de adevăr pentru o expresie logică complexă
obiective de cercetare
- Care este tabelul de adevăr?
- Ce este o expresie complexă boolean?
- Ordinea executării operațiilor logice într-o expresie logică complexă
- O metodă de a construi tabele de adevăr pentru expresii complexe
ipoteze participanților
Există un algoritm pentru a construi tabelul de adevăr pentru o expresie logică complexă
Cursul de studiu
Găsirea informațiilor pe Internet
Adevărul tabel - un tabel care descrie o funcție logică.
Adevărul tabel - un tabel care arată adevărul expresiilor complexe pentru toate valorile posibile ale variabilelor care intră.
operații logice și tabelul de adevăr
Expresia logică complexă - expresie logică care constă din una sau mai multe expresii polieter logice (expresii logice complexe) conectate prin operații logice.
Ordinea executării operațiilor logice într-o expresie logică complexă
- inversiune;
- conjuncţie;
- disjuncție;
- Implicația;
- Echivalența.
Un algoritm pentru construirea tabelelor de adevăr pentru expresii complexe: '
1) Se determină numărul de rânduri:
= Numărul de linii n + 2 antet rând, n - numărul de expresii simple.
2) Se determină numărul de coloane:
numărul de coloane = numărul de variabile + număr de operații logice;
• Se determină numărul de variabile (expresie simplă);
• operații logice pentru a determina numărul și secvența de execuție a acestora.
3) Se umple coloanele ieșiri ale operațiilor logice indicate în ordine cu tabelele de adevăr ale operații logice de bază.
exemplu Analiza construirii unui tabel de adevăr pentru expresia dată
Exemplu: Crearea unui tabel al expresiei logice este adevărată: F = ¬ A (B V C)
1) Se determină numărul de rânduri:
trei simplu enunț de intrare: A, B, C, deci n = 3 și numărul de linii 3 = 2 + 1 = 9.
2) Se determină numărul de coloane:
• expresii simple (variabile): A, B, C;
• rezultate intermediare (operații logice):
B V C - operație disjuncție;
precum și valoarea finală dorită a expresiei aritmetice: F = ¬ A (B V C).
3) umple coloanele cu tabelele de adevăr ale operațiilor logice.
Obiectiv: Crearea unui tabel al expresiei logice este adevărată: F = ¬ (B V A) C
In cadrul studiului, am fost în stare să găsească răspunsuri la toate sarcinile mele. Am aflat că tabelul de adevăr este că o astfel de expresie logică complexă, ordinea operațiilor logice. Extinsa a confirmat ipoteza mea, există un algoritm pentru a construi un tabel de adevăr de expresii matematice complexe. Datorită acestei cercetări, am învățat să fie un tabel de adevăr. Scopul studiului realizat.
Vă mulțumim pentru a ajuta colegii mei, toate succesul!