Disgiunzione logica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
RedBot (discussione | contributi)
m r2.7.2) (Bot: Modifico uk:Диз'юнкція (логіка)
Nessun oggetto della modifica
Riga 21:
* [[Proprietà associativa]]: <math> (p \vee q) \vee r = p \vee (q \vee r) </math>
* [[Proprietà distributiva]] (rispetto alla [[congiunzione logica]]): <math> p \vee (q \wedge r) = (p \vee q) \wedge (p \vee r) </math>
* [[LeggiTeorema di assorbimento|LeggeTeorema di assorbimento]] (rispetto alla [[congiunzione logica]]): <math> p \vee (p \wedge q) = p </math>
* [[Leggi di De Morgan|Legge di De Morgan]] <math> \overline{p \vee q} = \overline{p} \wedge \overline{q} </math>