Fixing up equations.
Fixed truth table. Added acronym.