Is it "weird" that in typical logic P v Q can collapse to a less complicated formula, e.g. just P or just Q and become glad? it is rather stiff and aged-fashioned. Without having it, as Cool Elf notes, a clear-cut plan appears improved design to me.|bibbib 73k1313 gold badges119119 silver badges226226 bronze badges Increase a comment  | |I are co