[A/L] (2021/22) Logica - Esercizio 4

[matypist]

[danieldinella]

A ⟷ B = 0 solo se A ≠ B.

1. Essendo diversi uno dei due deve essere 0 dunque A ∧ B = 0.
2. Essendo diversi uno dei due deve essere 1 dunque A ∨ B = 1.
3. Essendo diversi abbiamo che A → B = 1 solo se B = 1.
4. Essendo diversi uno dei due sarà 0 e l'altro 1, dunque la proposizione si può scrivere come C ⟷ 0 che sarà vera solo nel caso in cui C = 0.

[CiottoloMaggico]