Svag matchende rim for truth function