Как оценить булево выражение в C?

Question

Я хочу, чтобы оценить следующее логическое выражение в C:

f = (b+c')(a'+c')(a+b'+c) 

Это моя текущая программа:

#include <stdio.h> 
int main() 
{ 
    int a,b,c,f; 
    a=0;b=1;c=1; 
    f=((b|(~c))&((~a)|(~c))&(a|(~b)|c)); 
    printf("%d\n",f); 
} 

Функция должна возвращать 1, так как а = 0, Ь = 1 и с = 1 но он возвращает -1. Кроме того, когда a = 1, b = 1 и c = 1, он возвращает -2 вместо 0.

Почему это происходит? Как я могу это исправить?

Answer 1

В C вы используете ! для отрицания:

#include <stdio.h> 
int main() 
{ 
    int a,b,c,f; 
    a=0;b=1;c=1; 
    f=((b||(!c))&&((!a)||(!c))&&(a||(!b)||c)); 
    printf("%d\n",f); 
} 

Оператор ~ переворачивает все биты в количестве, которое не то, что вы хотели, и почему вы получали -1.

Также необходимо || вместо | и && вместо &. Операторы & и | работают на отдельных битах, где || и && являются логическими операторами и выполняют то, что вы хотите.

Answer 2

Это потому, что вы используете так называемые побитовые операторы , которые работают отдельно на каждом бите числа.

Так предполагая int 32 бита, то есть:

a = 00000000000000000000000000000000 
b = 00000000000000000000000000000001 
c = 00000000000000000000000000000001 
~c = 11111111111111111111111111111110 
b|~c = 11111111111111111111111111111111 

и так далее.

Если вы используете логические операторы&&, || и ! вместо этого, то каждое число будет рассматриваться как один «бит» (0, если это 0 или 1, если это не 0).

В качестве альтернативы, вы можете добавить & 1 в конце, чтобы убедиться, что все биты, кроме последнего, равны 0.