Paraconsistent Approach -- Prime Implicates and Reduced Implicate Tries -- Logic for