def f_1(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20):
    c = (
        (x4 or not x18 or x19),
        (x3 or x18 or not x5),
        (not x5 or not x8 or not x15),
        (not x20 or x7 or not x16),
        (x10 or not x13 or not x7),
        (not x12 or not x9 or x17),
        (x17 or x19 or x5),
        (not x16 or x9 or x15),
        (x11 or not x5 or not x14),
        (x18 or not x10 or x13),
        (not x3 or x11 or x12),
        (not x6 or not x17 or not x8),
        (not x18 or x14 or x1),
        (not x19 or not x15 or x10),
        (x12 or x18 or not x19),
        (not x8 or x4 or x7),
        (not x8 or not x9 or x4),
        (x7 or x17 or not x15),
        (x12 or not x7 or not x14),
        (not x10 or not x11 or x8),
        (x2 or not x15 or not x11),
        (x9 or x6 or x1),
        (not x11 or x20 or not x17),
        (x9 or not x15 or x13),
        (x12 or not x7 or not x17),
        (not x18 or not x2 or x20),
        (x20 or x12 or x4),
        (x19 or x11 or x14),
        (not x16 or x18 or not x4),
        (not x1 or not x17 or not x19),
        (not x13 or x15 or x10),
        (not x12 or not x14 or not x13),
        (x12 or not x14 or not x7),
        (not x7 or x16 or x10),
        (x6 or x10 or x7),
        (x20 or x14 or not x16),
        (not x19 or x17 or x11),
        (not x7 or x1 or not x20),
        (not x5 or x12 or x15),
        (not x4 or not x9 or not x13),
        (x12 or not x11 or not x7),
        (not x5 or x19 or not x8),
        (x1 or x16 or x17),
        (x20 or not x14 or not x15),
        (x13 or not x4 or x10),
        (x14 or x7 or x10),
        (not x5 or x9 or x20),
        (x10 or x1 or not x19),
        (not x16 or not x15 or not x1),
        (x16 or x3 or not x11),
        (not x15 or not x10 or x4),
        (x4 or not x15 or not x3),
        (not x10 or not x16 or x11),
        (not x8 or x12 or not x5),
        (x14 or not x6 or x12),
        (x1 or x6 or x11),
        (not x13 or not x5 or not x1),
        (not x7 or not x2 or x12),
        (x1 or not x20 or x19),
        (not x2 or not x13 or not x8),
        (x15 or x18 or x4),
        (not x11 or x14 or x9),
        (not x6 or not x15 or not x2),
        (x5 or not x12 or not x15),
        (not x6 or x17 or x5),
        (not x13 or x5 or not x19),
        (x20 or not x1 or x14),
        (x9 or not x17 or x15),
        (not x5 or x19 or not x18),
        (not x12 or x8 or not x10),
        (not x18 or x14 or not x4),
        (x15 or not x9 or x13),
        (x9 or not x5 or not x1),
        (x10 or not x19 or not x14),
        (x20 or x9 or x4),
        (not x9 or not x2 or x19),
        (not x5 or x13 or not x17),
        (x2 or not x10 or not x18),
        (not x18 or x3 or x11),
        (x7 or not x9 or x17),
        (not x15 or not x6 or not x3),
        (not x2 or x3 or not x13),
        (x12 or x3 or not x2),
        (not x2 or not x3 or x17),
        (x20 or not x15 or not x16),
        (not x5 or not x17 or not x19),
        (not x20 or not x18 or x11),
        (not x9 or x1 or not x5),
        (not x19 or x9 or x17),
        (x12 or not x2 or x17),
        (x4 or not x16 or not x5)
    )
    return c
