Computation of boolean formulas using sneak paths in crossbar computing