صورت نرمال

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به ناوبری پرش به جستجو

گزاره را در صورت نرمال عطفی گوییم هرگاه به شکل باشد. و را در صورت نرمال فصلی گوییم هرگاه به شکل باشد.

قضیه[ویرایش]

  • هر گزاره با گزاره‌ای در صورت نرمال عطفی با همان اتم‌ها معادل است.
  • هر گزاره با گزاره‌ای در صورت نرمال فصلی با همان اتم‌ها معادل است.

هر دو قضیه فوق با استقرا روی گزاره‌ها ثابت می‌شود.

منابع[ویرایش]