A
B
f
論理式fが表す論理回路
現実の論理素子による論理回路
加法標準形論理式に
変換できないか?
乗法標準形論理式では?
同等の動作をする
論理回路はないか?
ゲートの種類や数は
減らせないか?
出力を反転した形