複数の論理式の真理値割り当て

論理式間関係の意味論に、項目「複数の論理式の真理値割り当て」を追加。