Be careful about the scope. You showed a proof to ... them. The brackets set the scope of each truth function (and ... , ->), so these are called scope ambiguities.
Looks like I'm going to be crowned best aunt of the year thanks to 7sage! Amazon has an amazingly wide variety of fun kid activities and toys! I may or may not be enjoying them more than the kiddos haha.