This article provides a sample code to use Grover's algorithm to solve SAT problems. It requires importing a method called LogicalExpressionOracle. However, when I copied the code into IBM quantum lab, it says that qiskit.aqua doesn't exist anymore. So how can I import LogicalExpressionOracle?
import numpy as np
from qiskit import BasicAer
from qiskit.visualization import plot_histogram
%config InlineBackend.figure_format = 'svg'
from qiskit.aqua import QuantumInstance, run_algorithm
from qiskit.aqua.algorithms import Grover
from qiskit.aqua.components.oracles import LogicalExpressionOracle, TruthTableOracle