Anfonwch hwn fel neges destun: Binary matrix factorisations under Boolean arithmetic