The BDDs (Binary Decision Diagrams) and their Applications