نتایج جستجو

...دو تابع منطقی را با هم مقایسه نمود از فرم‌های نرمال استفاده می‌کنیم. انواع فرم‌های نرم عبارتند از:<ref>مینایی، بهروز، و دیگران. ساختمان‌های گسسته. تهران:مدرسا * (DNF: Disjunctive Normal Form) صورت نرمال ترکیب فصلی: ...

...=صورت بهنجار فصلی}}</ref> {{به انگلیسی|disjunctive normal form}} یا '''فرم نرمال فصلی''' {{اختصاری|دی‌اِن‌اف}} یک استاندارد (یا بهنجارشده) از یک فرمول منطقی مانند صورت بهنجار [[فرم نرمال اشتراکی|سی‌اِن‌اف]]، تنها عملگرهای گزاره‌ای در [[نقیض|نات]]، [[عطف منطقی|اَ ...

...بری''' یا '''فرم نرمال جبری''' ({{lang-en|Algebraic Normal Form}})، '''فرم نرمال ژگالکین''' ({{lang-en|Zhegalkin Normal Form}}) و '''بسط رید-مولر''' ({{lang * متشکل از علامت‌های استاندارد منطق گزاره‌ها ...

...thbf{\lambda\text{-} calculus}</math> نیز معروف است)، [[دستگاه صوری]] در [[منطق ریاضی]] جهت بیان [[محاسبه‌پذیری|محاسبات]] براساس [[تجرید (ریاضیات)|تجرید]] ...یل در نهایت به پایان برسد، آنگاه با کمک قضیه چرچ-روسر، [[فرم نرمال بتا|فرم نرمال <math>\beta</math>]] یی را تولید خواهد نمود. ...