AB Logic