Reglur De Morgans

Í rökfræði eru reglur De Morgans, eða De Morgan setningin tvær reglur í formlegri rökfræði sem sýna samhengi milli röktákna í gegnum neitunarvirkjann.

Reglurnar eru:

ekki (P og Q) = (ekki P) eða (ekki Q)

ekki (P eða Q) = (ekki P) og (ekki Q)

Í röktáknum er þetta ritað þannig:

$\neg (P\land Q)=(\neg P)\lor (\neg Q)$

$\neg (P\lor Q)=(\neg P)\land (\neg Q)$

  Þessi stærðfræðigrein er stubbur. Þú getur hjálpað til með því að bæta við greinina.