Could it be "Strange" that in regular logic P v Q can collapse to a less complicated formulation, e.g. just P or simply just Q and become pleased? it truly is to some degree rigid and outdated-fashioned. Without the need of it, as Neat Elf notes, a clear-Minimize plan https://leopoldoo531nxj2.vigilwiki.com/user