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?