論理式
論理式とは、論理変数や論理値、論理演算を組み合わせて形成される式のことです。
なお、論理式の計算結果は、論理値です。