真值表

真值表就是把所有真假组合列成一张表，看整个式子在每种情况下的结果。两个命题各有真/假两种，一共 2×2=4 行。把与、或、非的结果一行行填出来，逻辑就一目了然，不会漏掉任何情况。