Disgiunzione esclusiva: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 42:
==Proprietà - Disgiunzione esclusiva e congiunzione==
Poichè partendo dalle stesse proposizioni semplici P e Q, le tavole di verità delle due proposizioni composte P<math>\dot{\lor}</math>(P<math>\land</math>Q) e P<math>\land</math>(P<math>\dot{\lor}</math>Q) risultano uguali (come risulta dalla tabella in basso), possiamo concludere che le due proposizioni composte sono equiveridiche, ossia logicamente equivalenti:
P<math>\dot{\lor}</math>(P<math>\land</math>Q)=P<math>\land</math>(P<math>\dot{\lor}</math>Q)
| |||