تالار گفتمان مانشت
فرم نرمال استلزامی (راحت) - نسخه‌ی قابل چاپ
فرم نرمال استلزامی (راحت) - Imankhani - 26 آبان ۱۳۹۳ ۰۵:۵۲ ب.ظ

سلام

فرم نرمال استلزامی A^B چی میشه؟

RE: فرم نرمال استلزامی (راحت) - Pakniat - 26 آبان ۱۳۹۳ ۰۸:۴۷ ب.ظ

(۲۶ آبان ۱۳۹۳ ۰۵:۵۲ ب.ظ)Imankhani نوشته شده توسط:  سلام

فرم نرمال استلزامی A^B چی میشه؟

[tex]A\wedge B\: \Longleftrightarrow\neg(\neg A\vee\neg B)\Longleftrightarrow\neg(A\longrightarrow\neg B)\Longleftrightarrow\neg(B\longrightarrow\neg A)[/tex]