Can it be "Unusual" that in conventional logic P v Q can collapse to an easier formula, e.g. just P or just Q and become happy? it is fairly stiff and previous-fashioned. With out it, as Great Elf notes, a clear-Minimize notion would seem superior design and style to https://englandc219jue0.blogolenta.com/profile