aとbは真偽値を取る変数なんですが、

!(a && b)

という式を||の式に変換すると、

(a == 0 || b == 0)

という式で合ってますでしょうか？
ド・モルガンの法則でぐぐって一応確認しました