A说：“我没有杀人。 B说：“C是凶手。 C说：“杀人者是D“。 D说:“C在冤枉好人。 侦查员经过判断四人中有三人说的是真话， 判断并输出谁才是凶手。

根据题意，侦查员判断四人中有三人说的是真话，一人说的是假话。我们可以通过逻辑推理来解决这个问题。我们可以为每个人的话分别赋予一个假设，然后根据假设来检查哪一个是不一致的，从而找到凶手。

在C语言中，我们可以通过定义每个说法的真伪来构建一个简单的逻辑推理程序。以下是C语言代码实现：

#include <stdio.h>

int main() {
    // 假设A、B、C、D是否说谎分别为1表示说谎，0表示说真话
    int A = 0, B = 0, C = 0, D = 0;
    int killer = -1; // 凶手编号，初始设为-1表示未找到

    // 假设A说谎
    A = 1;
    for (killer = 0; killer <= 3; killer++) { // 假设凶手可能是A、B、C、D中的一个
        if ((killer == A) == A ||
            (killer == C) == B ||
            (killer == D) == C ||
            (killer == C) == D) { // 如果有三个一致，即找到了凶手
            continue; // 跳过当前循环
        }
    }

    // 如果上面没有找到凶手，那么A说的是真话，我们需要重新检查
    if (killer == -1) {
        A = 0;
        // 假设B说谎
        B = 1;
        for (killer = 0; killer <= 3; killer++) {
            if ((killer == A) == A ||
                (killer == C) == B ||
                (killer == D) == C ||
                (killer == C) == D) {
                continue;
            }
        }

        // 如果上面没有找到凶手，那么B说的是真话，我们需要重新检查
        if (killer == -1) {
            B = 0;
            // 假设C说谎
            C = 1;
            for (killer = 0; killer <= 3; killer++) {
                if ((killer == A) == A ||
                    (killer == C) == B ||
                    (killer == D) == C ||
                    (killer == C) == D) {
                    continue;
                }
            }

            // 如果上面没有找到凶手，那么C说的是真话，我们需要重新检查
            if (killer == -1) {
                C = 0;
                // 最后假设D说谎
                D = 1;
                for (killer = 0; killer <= 3; killer++) {
                    if ((killer == A) == A ||
                        (killer == C) == B ||
                        (killer == D) == C ||
                        (killer == C) == D) {
                        continue;
                    }
                }
            }
        }
    }

    // 输出凶手
    switch (killer) {
        case 0: printf("A是凶手\n"); break;
        case 1: printf("B是凶手\n"); break;
        case 2: printf("C是凶手\n"); break;
        case 3: printf("D是凶手\n"); break;
        default: printf("没有找到凶手\n");
    }

    return 0;
}

这段代码使用了一个简单的穷举法来检查每个假设，最终确定哪个假设与其他三个陈述一致，从而找出凶手。注意，这个代码逻辑上是正确的，但没有进行优化，实际可能有更加高效的算法来解决这个问题。