Is it "weird" that in standard logic P v Q can collapse to a less complicated components, e.g. just P or maybe Q and become pleased? it can be rather stiff and old-fashioned. Without the need of it, as Awesome Elf notes, a transparent-Minimize strategy seems far better design https://elleni319itc0.thenerdsblog.com/profile