2013年7月6日
POJ-3678 Katu Puzzle 2sat
摘要： 题目链接：http://poj.org/problem?id=3678 分别对and，or，xor推出相对应的逻辑关系： 逻辑关系 1 0 A and B A'->A,B'->B A->B',B->A' A or B A'->B',B'->A A->A',B->B' A xor B A'->B,B'->A,A->B',B->A' A->B,A'->B' 1 //STATUS:C++_AC_96 阅读全文
posted @ 2013-07-06 15:40 zhsl 阅读(341) 评论(0) 推荐(0) 编辑