1302
правки
Изменения
→Метод Квайна: ticks и новое замечание
=== Метод Квайна ===
{{tick| ticked = 1}} операция или соотношение {{---}} не путайте читателя.{{tick}} '''Сокращать слова не нужно.'''{{tick| ticked = 1}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить{{tick| ticked = 1}} Примеру не хватает заголовка.
{{tick}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".
