Le tavole di verità sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa. Le tabelle di verità della congiunzione “e” (˄), della disgiunzione “o” (˅) e della negazione “non” (¬) sono rispettivamente quelle in figura.
Sapendo che due proposizioni sono equivalenti se hanno la stessa tabella di verità quale delle seguenti proposizioni è equivalente alla disgiunzione?
Bisogna creare una tabella che abbia per colonne le proposizioni A e B e i vari sviluppi che si susseguono a creare la proposizione complessa proposta nelle risposte per verificare se è equivalente alla disgiunzione. È conveniente compilare la tabella nella parte riguardante A e B con la successione di casi indicata (prime due colonne UGUALI AL TESTO) .
Risposta A)
Risposta B)
Risposta C)
Risposta D)
Risposta E) CORRETTA
