DeMorgan’s Theorem

• NOT(a AND b) same as NOT(a) OR NOT (b)

NOT(a OR b) same as NOT(a) AND NOT(b)

• In C:

!(expr1 && expr2) same as !(expr1) || !(expr2)

!(expr1 || expr2) same as !(expr1) && !(expr2)

Previous slide

Next slide

Back to first slide

View graphic version