論理を使った単純化

複雑なルールは論理式(ペン図やカルノー図など)を利用して単純化し、
単純なルールとするほうがよいだろう。