Svagt matchande rim för propositional function