Как выразить импликацию в с++?

Question

[davidMSK]

Нужно построить таблицу истинности следующей функции:
¬ (x → w) ∨ (y ≡ z) ∨ y (функция монотонна равна 0)

Пожалуйста напишите код на с++ что бы я понял как это сделать, я не смог понять где моя ошибка.

#include <iostream>

using namespace std;

int main() {
    cout << "X Y Z" << endl;
    for (int x = 0; x < 2; x++)
        for (int y = 0; y < 2; y++)         
            for (int z = 0; z < 2; z++)
                for (int z = 0; z < 2; z++)  
                    if (!(x <= w) || (y == z) || y == 0)
                        cout << x <<  y << z << w << endl;
}

у меня код не компилируется и выдает ошибку

Comments

[mayton2019]

Не совсем понятно что значит "выразить"? Это термин - не из программирования. Обычно таблицу просто расчитывают. Булевы операции &&, ||, ! в сях есть. Вот через них выражается импликация.

Возможно имелись в виду математические аналогии типа AND(x,y) = MAX(x,y) но это надо как-то отдельно оговорить. Какой базис у нас есть чтобы что-то выражать.

[davidMSK]

Я хотел узнать как построить таблицу истинности в с++, той функции которую я написал, там есть импликация и я не пойму как ее напечатать если например:
¬ это !
≡ это ==
∨ это ||
→ это я не знаю

[Kirgus]

Исходный код надо оборачивать в тег <code></code> (в редакторе для этого есть кнопка вверху)

Answer 1

[Rsa97]

x → w = !x || w

Answer 2

[youngMaster]

Может просто следует исправить ошибки компиляции о которых сообщает компилятор?
И убрать, например, двойной цикл с двойным определением Z?