フローチャート論理式証明業務の専門家を募集します

【業務内容】 ・2つの判定フローチャートが論理式を用いて一致することを証明してほしいです。 ・論理式が数学的に等価であることを証明します。 ・証明過程や結果について、報告書を作成していただきます。 ・1つ目の判定フローチャートは条件分岐が3つです。 ・2つ目の判定フローチャートは1つ目の判定フローチャートに2つの条件分岐を追加しており、条件分岐は5つです。