https://123dok.org/document/9yngdo0z-based-approach-solving-formulas-boolean-linear-mathematical-propositions.html