Is it "weird" that in typical logic P v Q can collapse to an easier system, e.g. just P or merely Q and become satisfied? it truly is to some degree rigid and previous-fashioned. Devoid of it, as Amazing Elf notes, a clear-Minimize idea seems far better design and https://harryj431nyi2.gigswiki.com/user