۰
subtitle
ارسال: #۱
عملگر های کامل در گسسته فصل اول منطق
با عرض سلام و خسته نباشیید
یه سوال داشتم چطوری میشه تشخیص داد که عملگرهای [tex]\left \{ \rightarrow ,\sim \right \},\left \{ and ,\sim \right \}[/tex]
و همچنیین [tex]\left \{ \rightarrow ,xor,nand \right \}[/tex] این عملگرها کامل هستند چرا با مثال
باتشکر
یه سوال داشتم چطوری میشه تشخیص داد که عملگرهای [tex]\left \{ \rightarrow ,\sim \right \},\left \{ and ,\sim \right \}[/tex]
و همچنیین [tex]\left \{ \rightarrow ,xor,nand \right \}[/tex] این عملگرها کامل هستند چرا با مثال
باتشکر
۱
ارسال: #۲
RE: عملگر های کامل در گسسته فصل اول منطق
سلام. اگه بتونی با اون مجموعه عملگرها، تمام مقدارهای منطقی رو (با توجه به ارزش منطقی عبارت) بسازی اون مجموعه کامله. یه نمونه بدیهی همون andوorوnot هست. میتونی تمام مقادیر منطقی رو با اینها بسازی.
۰
ارسال: #۳
RE: عملگر های کامل در گسسته فصل اول منطق
دوستان من به این جوابا رسیدم
شما هم چک کنین ببینین درسته یا نه
فقط آخریشو حوصلم نشد
برای{→,~}
[/code]
و برای {⋀,~}
فقط مطمئن شین درسته. من به این نتایج رسیدم. انشااالله که دوستان تو درست بودن یا نبودنش نظر بدن
شما هم چک کنین ببینین درسته یا نه
فقط آخریشو حوصلم نشد
برای{→,~}
[/code]
کد:
~p=(p→~p)
p⋀q=~(p→~(p→q) )
p⋁q=~p→qو برای {⋀,~}
کد:
~p=(~p⋀~p)
p⋀q=~(~(p⋀q))
p⋁q=~((~p⋀~q)⋀(~p⋀~q))فقط مطمئن شین درسته. من به این نتایج رسیدم. انشااالله که دوستان تو درست بودن یا نبودنش نظر بدن
۰
ارسال: #۴
RE: عملگر های کامل در گسسته فصل اول منطق
سختش نکنمثلا برای [tex]\left \{ \sim ,\rightarrow \right \}[/tex]
نات [tex]\sim p[/tex]
اند[tex]\overline{\left ( p\rightarrow \bar{q} \right )}[/tex]
اور [tex]\left ( \bar{p} \rightarrow q \right )[/tex]
به شما دوتا ابزار برای طراحی میدن(عملگر) از هر دوتاش به خوبی استفاده کن.
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close