This document discusses nested functions and DeMorgan's Laws. It provides examples of using nested IF functions to evaluate complex formulas that depend on the results of inner expressions. DeMorgan's Laws state that NOT(AND(X,Y)) is equivalent to OR(NOT(X),NOT(Y)) and that NOT(OR(X,Y)) is equivalent to AND(NOT(X),NOT(Y)), which can be verified using truth tables. An example shows how to model college admissions decisions using nested IF statements to check multiple criteria.