Yours applies (reverse) distribution to mine, which I think is better.
I think both are simpler than your original solution.
On Sep 6, 7:11 pm, Aaron Albers <
aaroncalb...@gmail.com> wrote:
> Is that simplifying it or just expanding (p || q) && r?
>