from main import create_module_from_constrain

constrain = lambda O, I1_1, I2_2: O == (I1_1 & I2_2) + 1
print(create_module_from_constrain(constrain))