論理式「NOT (A AND B)」と等価な式は、ド・モルガンの法則によるとどれか。

既存の攻撃パターンをデータベース化し、それと一致する通信を検知するIDSの方式はどれか。