De Morgan reglan
Úr Wikipediu, frjálsa alfræðiritinu
Í rökfræði er De Morgan reglan í raun tvær reglur um dreifingu neitunar á breytur.
Reglurnar kveða á um að setningarnar tvær sem eru vinstra megin við samsvörunarmerkið séu röklega jafngildar þeim sem eru hægra megin við merkið:
- (þ.e. ekki-(p og q) jafngildir: ekki-p eða ekki-q)
- (þ.e. ekki-(p eða q) jafngildir: ekki-p og ekki-q)