write a program named taut(n), in which the program will test if the statement or Boolean function f - defined as a global variable - is a tautology or not, where n is the number of the Boolean input variables. This program will use a function named truth(i, n), which takes 2 inputs i and n where i is any possible integers, 0 i 2 n 1 and n is the number of the Boolean input variables of f. This function will convert i to a string of logic: true or false of length n. For example, truth(0, 2) = false, false, truth(1, 2) = false, true, truth(2, 2) = true, false, truth(3, 2) = true, true, truth(0, 3) = false, false, false, truth(1, 3) = false, false, true, truth(2, 3) = false, true, false, truth(3, 3) = false, true, true, . . . truth(6, 3) = true, true, false, truth(7, 3) = true, true, true.

Note: I need all answer in python code please do it fast I need on urgent.