logic-brute-force.py

def rulesTrue(m, p ,s, k, b, c):
    c1 = (c <= (k and m))
    c2 = (not p or s) <= (b or c)
    c3 = (p and c) <= (not m)
    c4 = (not s) <= (p or not k)
    c5 = b <= (not k and not p)
    c6 = (not s or not k) <= c
    return (c1 and c2 and c3 and c4 and c5 and c6)
    
for i in range(0, 64):
    num = i

    out = [1 if num & (1 << (5-n)) else 0 for n in range(6)]
    for j in range(0, 6):
        if (out[j] == 1):
            out[j] = True
        else:
            out[j] = False
    [m, p, s, k, b, c] = out
    if (rulesTrue(m, p, s, k, b, c)):
        print('m: ' + str(m) + ' p: ' + str(p) + ' s: ' + str(s) + ' k: ' + str(k) + ' b: ' + str(b) + ' c: ' + str(c))

Brute force logic problem