The Unate Recursive Paradigm $($URP$)$ can be used to determine tautology of a Boolean equation in Sum of Product $($SOP$)$ form in terms of cube list. The idea can be extended to find the complement of a Boolean function.