def bufFuncD(inputVector, inputVectorD, nodeName, Output):
    """
    buf Function Deductive Logic
    :param inputVector: input logic vector
    :param inputVectorD: input  stuck-at-fault vector
    :param nodeName: output node name
    :param Output: output node value
    :return: list of stuck-at-fault
    """
    result = []
    result.extend(inputVectorD[0])
    result.append(nodeName + '_' + str(1 - Output))
    return result
