You create two alternatives using anyOf.
In the first alternative, B is an enumeration with just the value true, A is verified, and presumably you want both A and B required. In the second alternative, B is not (an enumeration with just the value true), and A is not verified.