ある式がfalseの場にtrueとなる、これが否定の概要で、条件文でよく使います。
条件文でよく使用する論理積について解説しています。論理和と混同しない様に注意しましょう。
論理和は英語で言うと「or」、日本語だと「どちらか」を意味します。