甲、乙、丙、丁四位学生在广场上踢足球，打碎了玻璃窗，有人问他们时，他们这样说： 甲：“玻璃是丙也可能是丁打碎的” 乙：“是丁打碎的”，丙：“我没有打坏玻璃”： 于：“我才不干这种事”； 深深了解学生的老师说：“他们中有三位決不会说谎话”。那么，到底是谁打 碎了玻璃？ 那么是谁打碎了玻璃？（丁打碎了玻璃） 要求：将逻辑推理过程单独写成函数。

可以通过逻辑推理来找出谁打碎了玻璃，具体步骤如下：

1. 假设甲说的是真话，那么玻璃可能是丙或者丁打碎的，这时候假设玻璃是丙打碎的，那么乙的话就是假话，而丙和丁的话都是假话，这与题目所给出的前提“他们中有三位决不会说谎话”相矛盾，因此甲的话是假话，玻璃不可能是丙打碎的，只有可能是丁打碎的。

2. 根据乙的话，玻璃是丁打碎的，这时候假设丁说的是真话，那么甲和丙的话都是假话，于是只有乙和丁说的是真话，这与题目所给出的前提“他们中有三位决不会说谎话”相符，因此丁的话是真话，丁是打碎玻璃的人。

所以，可以写出如下的 Python 代码实现逻辑推理：

def who_broke_the_glass():
    # 假设甲说的是真话，那么玻璃可能是丙或者丁打碎的
    if not ((not is_c() and not is_d()) or (is_c() and is_d())):
        return "丁"
    # 假设甲说的是假话，那么玻璃只可能是丁打碎的
    elif is_d():
        return "丁"
    else:
        return "无法确定"

def is_c():
    # 判断丙的话是否为真
    return not (is_a() and not is_b() and is_d())

def is_a():
    # 判断甲的话是否为真
    return not (is_c() or is_d())

def is_b():
    # 判断乙的话是否为真
    return is_d()

def is_d():
    # 判断于的话是否为真
    return False

在上面的代码中，`who_broke_the_glass` 函数用于判断谁打碎了玻璃，`is_c`、`is_a`、`is_b`、`is_d` 函数则分别用于判断学生们说的话是否为真，它们通过逻辑运算与前提“他们中有三位决不会说谎话”相矛盾的方式来推断出谁打碎了玻璃。