Binary Matrix Factorisations Under Boolean Arithmetic