عملیات منطق گزاره را با سهولت همانند ماشین حساب ریاضی انجام دهید.
این برنامه رایگان به کاربران منطق گزاره اجازه می دهد تا عملیات را با سهولت مشابه آنچه که توسط یک ماشین حساب ریاضی ارائه می شود انجام دهند. این امر یادگیرندگان منطق را با ارائه بازخورد قابل توجهی تسهیل می کند. به طور دقیق ، با استفاده از این برنامه می توان تعیین کرد که: (1) ورودی به خوبی شکل گرفته است و اگر نباشد ، چرا که نه ، (2) جمله ها اصطلاحات ، تضادها یا مشروط هستند ، (3) مجموعه جمله ها سازگار یا متناقض هستند و (4) آرگومان معتبر یا نامعتبر است. همچنین جداول حقیقت را تولید می کند که می تواند در برنامه های دیگر کپی شود. از این نسخه ، ماشین حساب محدود به عملیات معنایی است.