Can it be "weird" that in regular logic P v Q can collapse to an easier components, e.g. just P or simply just Q and become contented? it truly is relatively rigid and old-fashioned. Without it, as Great Elf notes, a clear-Reduce plan appears to be greater style to https://enricoc108fqb9.wizzardsblog.com/profile