Логическое выражение

f(x, y,z)=( (x или не y) и y) или (не x и (y или z)

ответ:

f(x,y,z) = y или не x и z

объяснение:

(( x ∨ ¬y) ∧ y) ∨ (¬x ∧ (y ∨ z)

переходим на альтернативную систему обозначений операций, заменяя ∧ на умножение и ∨ на сложение.

(( x + ¬y) · y) + (¬x · (y + z)

а теперь это обычная - раскрываем скобки

x·y + ¬y·y + ¬x·y + ¬x·z

особенность булевой : ¬y · y = 0

x·y + 0 + ¬x·y + ¬x·z

x·y + ¬x·y + ¬x·z

выносим y за скобки

y·(x + ¬x) + ¬x·z

еще одна особенность булевой : ¬х + х = 1

y·1 + ¬x·z

y + ¬x·z

можно вернуться к исходной системе обозначений

y ∨ ¬x ∧ z

в си:

# include < stdio.h> # include < conio.h> void main ()  {

    clrscr();

    int x,y,c,k;

    printf("vvedite x \n");  

    scanf("%d",& x);

    printf("vvedite y \n");  

    scanf("%d",& y);

    printf("vvedite c \n");  

    scanf("%d",& c);

    k=x+(y/(2*c));

    printf("otvet: %d \n",k);

    getch();

  }