On a complexity of the formula \((A\bigvee B) \Rightarrow C\)
scientific article; zbMATH DE number 1238748