De Morgan's laws

pair of transformation rules that are both valid rules of inference

Categories: