谁能弄清楚为什么我的用于将句子拆分为单词的程序(C 语言)不起作用？

Question

我写了两个代码来将句子拆分成单词，其中一个有效，而另一个没有。唯一不同的是 for 循环下的 if 条件。第一个没有输出。而第二个给出了预期的输出。请按逻辑解释，不要教 DeMorgan Laws。我纯粹在它们中应用了我的逻辑，我认为这在第一个代码中也是正确的。

不工作:

  #include <stdio.h>
  void main(void){
  int i=0, m=0, n=0, j, l=0;
  char sen[500], wrd[500][500];

  printf("Input a sentence:\n");
  gets(sen);

  while(sen[i]!='\0'){
  l++;
  i++;
  }

  for(i=0;i<=l;i++){
    if(sen[i] != ' '||sen[i] != '\0'){    //Here is the difference.
        wrd[m][n]=sen[i];
        n++;
    }
    else{
        wrd[m][n]='\0';
        puts(wrd[m]);
        printf("\n");
        m++;
        n=0;
    }
    }
}

工作一:

 #include <stdio.h>
 void main(void){
 int i=0, m=0, n=0, j, l=0;
 char sen[500], wrd[500][500];

 printf("Input a sentence:\n");
 gets(sen);

 while(sen[i]!='\0'){
 l++;
 i++;
 }

 for(i=0;i<=l;i++){
    if(sen[i] == ' '||sen[i] == '\0'){        //Here is the difference.
        wrd[m][n]='\0';
        puts(wrd[m]);
        printf("\n");
        m++;
        n=0;

    }
    else{
        wrd[m][n]=sen[i];
        n++;
    }
    }
}

唯一不同的是 for 循环的 if 条件。 第一个有:if(sen[i] != ' '||sen[i] != '\0') 第二个有:if(sen[i] == ' '||sen[i] == '\0')

Answer 1

您的印象似乎是:

(sen[i] != ' '||sen[i] != '\0')

是以下的逻辑否定:

(sen[i] == ' '||sen[i] == '\0')

事实并非如此。 DeMorgan's Laws规定 bool 语句的逻辑等价性。

您想要的一般情况是 !(A || B) == (!A && !B)。因此，您可以在分组表达式中移动一个否定，但逻辑 OR 会变成逻辑 AND，反之亦然。

在您的特定情况下，后一种情况的倒数是:

!(sen[i] == ' ' || sen[i] == '\0')

变成:

(sen[i] != ' ' && sen[i] != '\0')

说到这里，如果 sen[i] 不是空格并且 sen[i] 是空格，你想附加到 wrd不是换行符。相反，您说如果 sen[i] 不是空格或 sen[i] 不是换行符，您想要附加到 wrd。 任何 字符要么不是空格要么不是换行符，因此此条件始终为真。