en : truth table

各変数を列に割り当て、各行で変数の状態を表す