Les lois de De Morgan ou plus simplement lois de Morgan, sont des identités entre propositions logiques. Elles ont été formulées par le mathématicien britannique Augustus De Morgan (1806-1871).