37 thoughts
last posted Jan. 23, 2018, 10:28 a.m.

1 earlier thought


Resolving two clauses with more than one pair of complementary literals always yields tautology.

(formally, the absorption works almost identically to the well-known physical notion that ∂∂=0 "boundaries are unbounded". I have not yet learned whether there is anything more to this correspondence than the simple observation that a logical formula represents –cf Karnaugh– a "Truth polygon"...)

35 later thoughts