Generator de tabele de adevăr

O unealtă puternică pentru generarea de tabele de adevăr pentru logica propozițională.

Instrucțiuni

Introduceți propoziția logică cu ajutorul butoanelor. Deocamdată, sunt disponibile doar cinci variabile propoziționale (p,q,r,s,t). Pentru mai multe informații despre cum să introduceți corect propoziția în generator, consultați secțiunea "Cum să utilizați corect generatorul?". După ce ați introdus propoziția, alegeți tipul de tabel pe care îl doriți (Adevărat/Fals) sau (1/0), și apăsați pe Generare și automat tabela de adevăr va fi creată; dacă doriți să o salvați, o puteți descărca ca fișier png.

Cum să utilizați corect generatorul?

Dacă propoziția nu este introdusă corect, programul nu o va înțelege și nu o va procesa corespunzător. Asigurați-vă că propozițiile și conectorii sunt plasați corect conform regulilor logicii propoziționale și, de asemenea, asigurați-vă că parantezele sunt plasate corect. Parantezele sunt foarte importante, deoarece stabilesc ordinea în care programul trebuie să înceapă să opereze; dacă nu sunt plasate corect, programul poate sări peste etape sau să nu genereze tabela corect. Dacă încercați exemplele următoare, veți observa că, deși conțin aceleași elemente, al doilea exemplu nu funcționează pentru că nu are toate parantezele necesare:

1. ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
2. (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t

Operatori logici incluși în acest generator

• ¬ - Negare
• ∧ - Conjuncție
• ∨ - Disjuncție
• ⇒ - Condițional
• ⇔ - Bicondițional
• ⊕ - Disjuncție exclusivă

Sprijină acest site

Dacă această pagină ți-a fost utilă, distribuie-o prietenilor tăi prin e-mail, rețele sociale,... etc.