What Does item Mean?
Can it be "Unusual" that in regular logic P v Q can collapse to a less complicated formula, e.g. just P or simply Q and become contented? it truly is fairly stiff and aged-fashioned. Without having it, as Cool Elf notes, a transparent-Minimize concept appears to be far better style to me.|bibbib 73k1313 gold badges119119 silver badges226226 bronze