As is
(at least one of the As is false, or one of the Bs is true)