Can it be "Bizarre" that in standard logic P v Q can collapse to a less complicated method, e.g. just P or simply just Q and be glad? it is actually rather stiff and previous-fashioned. Devoid of it, as Great Elf notes, a transparent-Reduce notion would seem greater design https://julioa076zku6.blogaritma.com/profile