מחולל טבלאות אמת

השתמשו בסוגריים לקביעת סדר פעולות. משתנים צריכים להיות אותיות לטיניות קטנות בודדות.

בהזנת קבוצת טענות – הפרידו את הטענות בפסיקים

להזנת טיעון – הפרידו הנחות בפסיקים והשתמשו ב-∴ לפני המסקנה.