🌊
101. 真理値表と論理式
【問題概要】
与えられた真理値表に対応する論理式を求めるアルゴリズムを考える問題。
【解説】
与えられた真理値表に対応する論理式を求める方法は、カルノー図を使った方法やクワイン・マクラスキー法などがある。
カルノー図を用いる方法では、真理値表をグループ化して、各グループに対応する論理式を求めることで、全体の論理式を構成することができる。クワイン・マクラスキー法では、真理値表をマクラスキー項と呼ばれる論理式の和の形式に変換し、簡単な形に縮約していくことで論理式を求めることができる。
【関連する問題例】
「ABC141F - XY AND Distance」
レーティング難易度: 1900
ACした回答者に絞った場合のレーティング帯の範囲: 1692 - 2079
AC率: 10.36%
ACしたスコアの高い回答者: https://atcoder.jp/users/naked1312
Discussion