真值表与等价关系的程序设计
진치표여등개관계적정서설계
The Programming on Equivalence Relation and Truth Table