P-functions and Boolean matrix factorization | lit.salon