با عرض سلام و خسته نباشیید
یه سوال داشتم چطوری میشه تشخیص داد که عملگرهای [tex]\left \{ \rightarrow ,\sim \right \},\left \{ and ,\sim \right \}[/tex]
و همچنیین [tex]\left \{ \rightarrow ,xor,nand \right \}[/tex] این عملگرها کامل هستند چرا با مثال
باتشکر
سلام. اگه بتونی با اون مجموعه عملگرها، تمام مقدارهای منطقی رو (با توجه به ارزش منطقی عبارت) بسازی اون مجموعه کامله. یه نمونه بدیهی همون andوorوnot هست. میتونی تمام مقادیر منطقی رو با اینها بسازی.
دوستان من به این جوابا رسیدم
شما هم چک کنین ببینین درسته یا نه
فقط آخریشو حوصلم نشد
برای{→,~}
[/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))فقط مطمئن شین درسته. من به این نتایج رسیدم. انشااالله که دوستان تو درست بودن یا نبودنش نظر بدن
سختش نکنمثلا برای [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]
به شما دوتا ابزار برای طراحی میدن(عملگر) از هر دوتاش به خوبی استفاده کن.