THANK YOU FOR DUMMIES

Can it be "Strange" that in normal logic P v Q can collapse to an easier formula, e.g. just P or merely Q and become satisfied? it truly is considerably stiff and previous-fashioned. Devoid of it, as Amazing Elf notes, a clear-Reduce plan looks greater fashion to me.|bibbib 73k1313 gold badges119119 silver badges226226 bronze badges Insert a remark