Jump to level 1 Simplify -(SA(nV-s)) to -sv-n Laws 1. Select a law from the right to apply -(SA(nv-s)) Distributive (a,b)(a c) = Complement avat an(bve) (avb)^(avc) = av(bac) ana - T EF Commutative avb E bva F aab b Identity De Morgan's (b) a HI nav-b aVF a (avb) HII -A-b Conditional Double negation wa a-- navb a+b III (a - b)^(ba)