Càlcul lògic: diferència entre les revisions
Contingut suprimit Contingut afegit
m Check Wikipedia - correcció errors |
m Corregit: altra -> altra, ja que la |
||
Línia 396:
=== Regles de Substitució ===
En les que les línies de tancament són dobles indicant que les dues fórmules són equivalents, és a dir, poden substituir directament una per una altra, ja que la seva connexió és un bicondicional
Lleis de [[De Morgan]]
| |||