Логическая функция F задаётся выражением (x ≡ ¬y) /\ (y → w) /\ z. Ниже приведён фрагмент таблицы истинности. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, w, z. В ответе напишите буквы x, y, w, z в том порядке, в котором идут соответствующие им столбцы таблицы.

Круги́ э́йлера — схема, с которой можно изобразить отношения между подмножествами, для наглядного представления. изобретены эйлером. используется в , логике, менеджменте и других прикладных направлениях. важный частный случай кругов эйлера — диаграммы эйлера — венна, изображающие все 2n комбинаций n свойств, то есть конечную булеву . при n=3 диаграмма эйлера — венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника. при решении целого ряда леонард эйлер использовал идею изображения множеств с кругов. однако, этим методом еще до эйлера пользовался филосов и готфрид вильгельм лейбниц (1646—1716). но достаточно основательно развил этот метод сам л. эйлер. методом кругов эйлера пользовался и эрнст шрёдер (1841—1902) в книге « логики» . особенного расцвета графические методы достигли в сочинениях логика джонa венна (1843—1923), подробно изложившего их в книге «символическая логика» , изданной в лондоне в 1881 году. поэтому такие схемы иногда называют диаграммы эйлера — венна.