Can it be "Odd" that in common logic P v Q can collapse to an easier formula, e.g. just P or perhaps Q and become contented? it is actually relatively rigid and aged-fashioned. With out it, as Amazing Elf notes, a transparent-Lower plan would seem much better design and https://erice108fpa8.wikiap.com/user