A||(B&&C)