ParentFull threadBreakthrough·If you use DeMorgan's law on your result, you can simplify it further to ~A | BView on HN