Last modified on 12 January 2014, at 01:53

De Morgan's laws