Изменения

{{tick}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".

{{tick}} Нужно показать, какую ДНФ мы минимизируем