Fully β-reduce the following expressions, show β reduction steps 2. (λ a . λ i . a i) (λ a . i a)

Using Boolenn techniques, simplify the following expressions as much as possible

Complete the truth table for the following expression. (∼a∧b)⇒c

---SIMPLIFICATION VIA BOOLEAN ALGEBRA--- 1.) Use boolean algebra to simplify the equation. SHOW YOUR WORK, one step per line. You should use only variable names, negation (with ``), AND (by putting terms next to each other), OR (with `+`), and parentheses. In addition, each line should start with an equal sign (`=`). The first step has been done for you to show how. As a hint, problem 1c requires De Morgan's Law. Example) f(Z,Y,X) = (!Z+Z)Y!X + !YX = Y!X + !YX = !ZY!X + ZY!X + !YX la) f(A,B,C) = !A!BC + A!B!C + !ABC + !AB!C + A!BC