IPv4ネットワークで使用されるIPアドレスaとサブネットマスクmからホストアドレスを求める式はどれか。ここで、"~"はビット反転の演算子、"|"はビットごとの論理和の演算子、"&"はビットごとの論理積の演算子を表し、ビット反転の演算子の優先順位は論理和、論理積の演算子よりも高いものとする。
~a & m
~a | m
a & ~m
a | ~m