Logical pattern synthesis