Svag matchende rim for boolean logic