מחשבון ההיגיון מחשבון חינם ופתח תוכנן במיוחד כדי לעזור לך לבצע מגוון רחב של אופרת לוגית ...
הורד עכשיו

מחשבון ההיגיון דירוג וסיכום

מחשבון ההיגיון תגים

מחשבון ההיגיון תיאור

מחשבון לוגיק הוא הסבר עצמית OS X יישום המספק את הכלים הדרושים ותכונות לבצע פעולות לוגיות שונות. החל החלון הראשי של מחשבון ההיגיון תוכל לגשת לשלושה מצבים שונים, הערכה של הנוסחה ההיגיון, כרוכות לוגית והמרה של נוסחה כדי disjunctive טופס נורמלי (DNF). במצב הראשון אתה יכול בקלות להשתמש בפעולות בוליאניות בסיסיות כגון שלילה, disjunction, יחד, biconditional, מותנה ולהוסיף אותם בנוסחה ההיגיון. מחשבון ההיגיון יהיה פלט את השולחן האמת ואת הדגמים של הנוסחה. המצב השני מסייע לך להוסיף מספר הנחות יחד עם מסקנות אשר מחשבון ההיגיון יציג את השולחן האמת עבור כל מסקנה והנחה. לכן, תוכל להציג אם המקום באופן הגיוני לכוון את המסקנות המסופקות. המצב השלישי מאפשר למשתמש להזין את נוסחת ההיגיון וליצור ייצוג שלה הן CNF ו- DNF. השירות לוגי מחשבון הוא תוכנה חוצה פלטפורמה שניתן להשתמש בהם על כל פלטפורמה הכוללת תאימות Java (E.G. Mac OS X, Linux, Windows).

מחשבון ההיגיון תוכנה קשורה