Is it "Unusual" that in common logic P v Q can collapse to an easier method, e.g. just P or just Q and become pleased? it is to some degree stiff and outdated-fashioned. Without the need of it, as Cool Elf notes, a clear-Reduce concept seems much better style https://pablon430lwg1.is-blog.com/profile