Измените ваши коды JavaScript, как это:
$("#Add").on("click", function(e) {
e.preventDefault();
var formData = new FormData($("#form1")[0]); //It automatically collects all fields from form
formData.append('item_description', CKEDITOR.instances['item_description'].getData());
$.ajax({
url: "<?=base_url()?>Home/add_items",
type: "post",
data: formData,
success: function(output) {
alert(output);
}
});
});
http://en.wikipedia.org/wiki/Conjunctive_normal_form
Преобразовать логику первого порядка в CNF:
- Преобразуйте в нормальную форму Отрицания.
- Устраните последствия: преобразуйте x → y к ¬ x ∨ y
- Переместите NOTs внутрь.
- Стандартизируйте переменные
- Сколемизируйте оператор
- Отбросьте кванторы всеобщности
- Распределите ANDs по ORs.
(Искусственный интеллект: современный Подход [1995...] Russel и Norvig)
Я мог бы предложить это? Существует алгоритм для преобразования на странице.