المرجع الالكتروني للمعلوماتية
المرجع الألكتروني للمعلوماتية

الرياضيات
عدد المواضيع في هذا القسم 9761 موضوعاً
تاريخ الرياضيات
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات

Untitled Document
أبحث عن شيء أخر
{ان أولى الناس بإبراهيم للذين اتبعوه}
2024-10-31
{ما كان إبراهيم يهوديا ولا نصرانيا}
2024-10-31
أكان إبراهيم يهوديا او نصرانيا
2024-10-31
{ قل يا اهل الكتاب تعالوا الى كلمة سواء بيننا وبينكم الا نعبد الا الله}
2024-10-31
المباهلة
2024-10-31
التضاريس في الوطن العربي
2024-10-31

الصّم والبُكم
25-09-2014
المعالجة المحاسبية للتغير على حساب الاستثمار في الشركة التابعة
2023-12-03
واجبات الدولة المتعلقة بالحق في الملكية
28-3-2017
الحرص
6-4-2022
Szolem Mandelbrojt
3-9-2017
Tropical Forest
19-10-2015

Conjunctive Normal Form  
  
800   08:15 مساءً   date: 22-1-2022
Author : Mendelson, E
Book or Source : Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall
Page and Part : p. 30


Read More
Date: 18-1-2022 662
Date: 20-1-2022 784
Date: 9-2-2022 677

Conjunctive Normal Form

A statement is in conjunctive normal form if it is a conjunction (sequence of ANDs) consisting of one or more conjuncts, each of which is a disjunction (OR) of one or more literals (i.e., statement letters and negations of statement letters; Mendelson 1997, p. 30). Examples of conjunctive normal forms include

 

A

(1)

(A v B) ^ (!A v C)

(2)

A v B

(3)

A ^ (B v C),

(4)

where  v  denotes OR,  ^  denotes AND, and ! denotes NOT (Mendelson 1997, p. 30).

Every statement in logic consisting of a combination of multiple  ^  v , and !s can be written in conjunctive normal form.

An expression can be put in conjunctive normal form using the Wolfram Language using the following code:

  ConjunctiveNormalForm[f_] :=
    Not[LogicalExpand[Not[f]]] //. {
      Not[a_Or] :> And @@ (Not /@ List @@ a),
      Not[a_And] :> Or @@ (Not /@ List @@ a)
  }

REFERENCES

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 30, 1997.




الجبر أحد الفروع الرئيسية في الرياضيات، حيث إن التمكن من الرياضيات يعتمد على الفهم السليم للجبر. ويستخدم المهندسون والعلماء الجبر يومياً، وتعول المشاريع التجارية والصناعية على الجبر لحل الكثير من المعضلات التي تتعرض لها. ونظراً لأهمية الجبر في الحياة العصرية فإنه يدرّس في المدارس والجامعات في جميع أنحاء العالم. ويُعجب الكثير من الدارسين للجبر بقدرته وفائدته الكبيرتين، إذ باستخدام الجبر يمكن للمرء أن يحل كثيرًا من المسائل التي يتعذر حلها باستخدام الحساب فقط.وجاء اسمه من كتاب عالم الرياضيات والفلك والرحالة محمد بن موسى الخورازمي.


يعتبر علم المثلثات Trigonometry علماً عربياً ، فرياضيو العرب فضلوا علم المثلثات عن علم الفلك كأنهما علمين متداخلين ، ونظموه تنظيماً فيه لكثير من الدقة ، وقد كان اليونان يستعملون وتر CORDE ضعف القوسي قياس الزوايا ، فاستعاض رياضيو العرب عن الوتر بالجيب SINUS فأنت هذه الاستعاضة إلى تسهيل كثير من الاعمال الرياضية.

تعتبر المعادلات التفاضلية خير وسيلة لوصف معظم المـسائل الهندسـية والرياضـية والعلمية على حد سواء، إذ يتضح ذلك جليا في وصف عمليات انتقال الحرارة، جريان الموائـع، الحركة الموجية، الدوائر الإلكترونية فضلاً عن استخدامها في مسائل الهياكل الإنشائية والوصف الرياضي للتفاعلات الكيميائية.
ففي في الرياضيات, يطلق اسم المعادلات التفاضلية على المعادلات التي تحوي مشتقات و تفاضلات لبعض الدوال الرياضية و تظهر فيها بشكل متغيرات المعادلة . و يكون الهدف من حل هذه المعادلات هو إيجاد هذه الدوال الرياضية التي تحقق مشتقات هذه المعادلات.