בוא נסביר את זה בצורה פשוטה.יש 3 אופציות לנוסחה של תחשיב הפסוקים.
התוצאה שלה תמיד TRUE - נקרא גם טאוטולוגיה.
התוצאה שלה יכולה להיות TRUE ויכולה להיות FALSE.
התוצאה שלה תמיד FALSE.
אתה אומר על נוסחה שהיא ספיקה אם זה המקרה השני. כלומר כל מה שצריך להראות זה השמה אחת אשר תוצאת הביטוי ייתן TRUE.
לדוגמא:
a or (not a) זה תמיד TRUE ולכן זה המקרה ה-1 (טאוטולוגיה)
a or b זה נוסחא ספיקה. כי קיימת השמה, למשל a=1,b=1 אשר התוצאה של הנוסחא היא TRUE. (וזה לא משנה שקיימת גם השמות אשר התוצאות שלהם הם FALSE).
a and (not a) היא נוסחא שבין אם תציב a=1 ובין אם תציב a=0 תמיד תוצאת הביטוי היא FALSE ולכן זה המקרה השלישי.
קאש-באק ישראלי: https://www.cashback.co.il/?uref=33330
קאשבק לAsos ואמזון דרך Ebates: https://goo.gl/MX87Y7 - מקבלים 10$ לאחר שימוש ראשון.