(self, *args)
Returns a conjunction of terms.

        This function has polimorphic arguments:
          - And(a,b,c)
          - And([a,b,c])

        Restriction: Arguments must be boolean
Returns a conjunction of terms.
Returns a conjunction of terms .
def And(self, *args):
        """ Returns a conjunction of terms.

        This function has polimorphic arguments:
          - And(a,b,c)
          - And([a,b,c])

        Restriction: Arguments must be boolean
        """
        tuple_args = self._polymorph_args_to_tuple(args)

        if len(tuple_args) == 0:
            return self.TRUE()
        elif len(tuple_args) == 1:
            return tuple_args[0]
        else:
            return self.create_node(node_type=op.AND,
                                    args=tuple_args)
def And ( self , * args ) : tuple_args = self . _polymorph_args_to_tuple ( args ) if len ( tuple_args ) == 0 : return self . TRUE ( ) elif len ( tuple_args ) == 1 : return tuple_args [ 0 ] else : return self . create_node ( node_type = op . AND , args = tuple_args )