Implicational Classes of Pseudocomplemented Distributive Lattices