第四週作業

定理3：(x')=x(自補定理)。由假說5，我們知道x+x'=1,x·x'=0。由此定義可知x'的補數是x，也就是(x')'。