Dimostriamo che: p <-> q ( p q ) (p_ q_) Calcoliamo le tavole di verita' del termine prima dell'uguale e del termine dopo l'uguale La tavola di verita' del termine prima dell'uguale e' la coimplicazione quindi: p q p <-> q v v f f v f v f v f f v Le tavole di verita' del termine dopo l'uguale sono: p q p_ q_ p q p_ q_ ( p q ) (p_ q_ ) v v f f v f v f f f v v f v f v v f f f f f f v v f f v Per eseguire la tabella segui le tabelle delle operazioni elementari gia' fatte: la terza colonna e' la negazione di p la quarta colonna e' la negazione di q la quinta colonna e' la congiunzione logica tra p e q, che e' vera solo se entrambe sono vere la sesta colonna e' la congiunzione logica tra non p e non q, che e' vera solo se entrambe sono vere l'ultima colonna e' la disgiunzione inclusiva tra p and q e ((non p) and (non q)), che e' falsa solo se entrambe sono false Siccome le due colonne finali hanno gli stessi valori di verita' ne segue che il termine prima ed il termine dopo l'uguale sono equivalenti (o meglio, come vedremo piu'avanti, le due proposizioni sono equiveridiche) Da notare che abbiamo come risultato i valori opposti della disgiunzione esclusiva