Tabel de adevăr complet

Tabelul de adevăr este un instrument fundamental în logică care prezintă toate combinațiile posibile de valori de adevăr pentru operatorii logici.

Pentru două propoziții $$p$$ și $$q$$, tabelul include operațiile: $$\neg p$$ (negare), $$p \wedge q$$ (și), $$p \vee q$$ (sau), $$p \rightarrow q$$ (implicație), $$p \leftrightarrow q$$ (echivalență).

Exercițiu rezolvat

Să construim tabelul de adevăr pentru propozițiile: $$p$$: "Este soare" $$q$$: "Mă duc la plimbare"

Completăm tabelul pas cu pas:

• Când $$p = 1$$ și $$q = 1$$:
  • $$\neg p = 0$$
  • $$p \wedge q = 1$$
  • $$p \vee q = 1$$
  • $$p \rightarrow q = 1$$
  • $$p \leftrightarrow q = 1$$
• Când $$p = 1$$ și $$q = 0$$: [similar pentru toate combinațiile]

Concluzie

Tabelul de adevăr oferă o vizualizare completă a comportamentului operatorilor logici.

Acest instrument este esențial în proiectarea circuitelor logice și în programare.