Джэк Лом
Просветленный
(45584)
лл лл, нет, не получается у меня, вот здесь можно, например, попробовать преобразовать https://calculator-online.org/mathlogic?expr= (¬x)∧(y)∧(¬z)∨(¬y)∧(z)∨(x)∧(y)∨(x)∧(¬y)∧(¬z)
но, почему-то программа выражение воспринимает не таким, как я его ввожу.