对于若 (A) 则 (B)，连边 (A o B)。
故可推出：
(A) 一定成立，连边 ( eg A o A)。
(A) 一定不成立，连边 (A o eg A)。
(A) 或 (B)，连边 ( eg A o B, eg B o A)。
(A) 且 (B)，即 (A) 一定成立、 (B) 一定成立。
(A) 异或 (B)，连边 (A o eg B, eg A o B,B o eg A, eg A o B)。
云云……
然后跑一次 Tarjan，如果 (col_A=col_{ eg A}) 则无解。
如果有解，(col_A>col{ eg A}) 则 (A) 为真，否则为假。