The top documents tagged [logical equivalent]