A. OT :=...

OT := ((SP and not CT) and CT) and AG;

OT := ((SP and not CT) or CT) or AG;

OT := ((SP and not CT) or CT) and AG;

OT := ((SP or not CT) and CT) and AG;

OT := ((SP or not CT) or CT) or AG;