1. дискретный ln на конечных полях, например, или на эллиптической кривой... Это не ответ. 2. Отношения это подмножества или предикаты? Мы различаем подмножества и предикаты? 3. Если мы в противоречивой логике - все вполне возможно. Но это читерство. 4. Можно в качестве ответа написать реализацию 2-SAT-solver-а, которая строит транзитивное замыкание графа. Если считать руками лень. 5. Кэррол для таких задачек предлагал рисовать квадратные таблички с кружочками в них (вместо диаграмм Э-В), очень наглядно, "Логическая игра" называется. Лучше было бы кубы, в данном случае, но на бумаге это сложнее. Или надо вывести все преобразования из аксиом нашего любимого де Моргана?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2016-10-22 11:15 am (UTC)2. Отношения это подмножества или предикаты? Мы различаем подмножества и предикаты?
3. Если мы в противоречивой логике - все вполне возможно. Но это читерство.
4. Можно в качестве ответа написать реализацию 2-SAT-solver-а, которая строит транзитивное замыкание графа. Если считать руками лень.
5. Кэррол для таких задачек предлагал рисовать квадратные таблички с кружочками в них (вместо диаграмм Э-В), очень наглядно, "Логическая игра" называется. Лучше было бы кубы, в данном случае, но на бумаге это сложнее. Или надо вывести все преобразования из аксиом нашего любимого де Моргана?