logical product