素人が論理って便利と感じるのは、
この論理式がトートロジーかどうか判別できる
というところだろう

上記の問題に対して、タブロー法は「半分」回答を与える
つまり、トートロジーの場合には、その否定命題から矛盾を導くことで、答えを教えてくれる
ただし、そうでない場合、手続きが終了しない場合があるので、そうでないとわからないこともある