( A ' B)