Logic Calculator

Aulos Rafael‏

מכיל מודעות

מידע על האפליקציה הזו

בעזרת אפליקציה זו תוכלו:

- ודא אם רצף תווים הוא נוסחה מעוצבת היטב (WFF);
- להשיג את הסימון הפולני הרגיל (NPN) - כלומר, סימון קידומת - של נוסחאות לוגיות הצעות;
- להשיג את הסימון הפולני ההפוך (RPN), כלומר, סימון פוסט-תיקון - של נוסחאות לוגיות הצעות;
- להשיג את נוסחאות המשנה של נוסחאות ההיגיון הטענות;
- להשיג נוסחאות נורמליות לנתק (DNF) ונוסחאות צורה נורמלית הלחמית (CNF) של נוסחאות לוגיקה טענות;
- ליצור טבלאות אמת לנוסחאות לוגיות הצעות;
- להקצות ערכי אמת לסמלי הצעה ולקבל פרשנות של נוסחאות הגיון הצעות.

יתר על כן, אתה יכול לבחור סדרי עדיפות שונים עבור הקישורים ההגיוניים.