( A !-B .)