Introduction to BDD