In this work we present a formal generalization of the Hamilton-Jacobi
formalism, recently developed for singular systems, to include the case of
Lagrangians containing variables which are elements of Berezin algebra. We
derive the Hamilton-Jacobi equation for such systems, analizing the singular
case in order to obtain the equations of motion as total differential equations
and study the integrability conditions for such equations. An example is solved
using both Hamilton-Jacobi and Dirac's Hamiltonian formalisms and the results
are compared.