Маленький помощник по дискретной математике. | ввести новую формулу | главная | Просмотров:
3614
Правила заполнение формы:
1. Форма не должна содержать пробелов и заглавных букв!!!.
2.1 !x ~ n(x) // отрицание
2.2 xy ~ k(x,y)
2.3 xVy ~ d(x,y)
2.4 x->y ~ i(x,y)
2.5 x=y ~ e(x,y)
2.6 x+y ~ a(x,y)
2.7 x/y ~ w(x,y)
2.8 x|y ~ s(x,y) // стрелка Пирса
2.9 m(x,y,z) ~ m(x,y,z)
3. Можно использовать в качестве переменных символы "1" и "0"
4.1 Формулу можно задавать не более чем от 5 переменных.
4.2 Переменные могут называться только: x, y, z, t, p.
4.3 Если функция зависит от N переменных, то использовать первые N переменных из списка указанного в 4.2
5. Примечание если ! стоит не перед скобкой, то оно относится только к соседней переменной:
например: !xy ~ коньюнкция отрицания x и y
например: !(xy) ~ отрицание коньюнкции x и y
Примеры заполнения формы: (Д/З)
e(s(x,k(x,n(y))),a(k(x,n(z)),i(y,w(x,z))))
i(a(x,s(z,y)),e(k(n(y),z),w(x,z)))
Внимание!!! Автор не гарантирует правильного решения!
сделал 4mlr.(при содействии кафедры Дискретной математики :))
1 курс Прикладная Математика.
(с)2008. Одесский Государственный Университет.