All-Implicants Neural Networks for Efficient Boolean Function Representation