>>621
622が不親切だから丁寧に教えてやろう
(1) a || b : aまたはb
(2) !(!a && !b) : 『「aでない」かつ「bでない」』でない

(1)と(2)は等価だ。
a　b　(1)　(2)
--------------
t　t　(t)　(t)
t　f　(t)　(t)
f　f　(f)　(f)
f　t　(t)　(t)

t: true
f: false
だから||なんか必要ない。