If Ab And Bc Then Ac Logic