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