The same code is also used for OR operation, but they belong to different type hierarchies.
The same code is also used for OR operation, but they belong to different type hierarchies.
Size of the proposition tree (number of nodes).
Size of the proposition tree (number of nodes).
OR disjunction for sigma propositions