論理式に変換