Discrete Math Logic Trees