論理計算機の関数