תחשיב פסוקים

[נופרבלע]

תחשיב פסוקים

זה אמור להיות דיי פשוט,אבל מה שלא ניסיתי לא הצלחתי להוכיח כאן את השקילות: (בעזרת הנוסחאות של הזהויות הלוגיות) p--->(p--->((p||~q)--->(p&&q)))=p--->q מישהו? תודה מראש

 

[yuvalmadar]

מה הבעיה להוכיח עם לוח אמת?

אף אחד לא יוכל לעזור לך כאן כי לא ידוע איזה זהויות לוגיות הוכחו בקורס שלך.

 

[kand100]

פתרון

p->(p->((p||~q)->(p&&q))) = p->(~p||((p||~q)->(p&&q)))= p->(~p||(~(p||~q)||(p&&q)))= p->(~p||((~p&&q)||(p&&q)))= p->(~p||(q&&(~p||p)))= p->(~p||q)= ~p||(~p||q)= ~p||q= p->q

 

[kand100]

זה לא כתב טוב...

אבל פשוט תעשי "הוסף תגובה" על ההודעה שלי וזה יראה בסדר....

 

[נופרבלע]

..

ממש ממש תודה. זה היה ממש חשוב לי (זה להגשה) תודה רבה.