Boolean Functions for Finite-Tree Dependencies