Logic Calculator

Aulos Rafael

Зар агуулсан

Энэ аппын тухай

Энэ програмын тусламжтайгаар та дараахь зүйлийг хийж болно.

- тэмдэгтүүдийн дараалал нь сайн боловсруулсан томъёо (WFF) эсэхийг шалгах;
- Польшийн ердийн тэмдэглэгээг (NPN) авах, өөрөөр хэлбэл угтварын тэмдэглэгээг санал болгож буй логик томъёог авах;
- Урвуу Польшийн тэмдэглэгээг (RPN) олж авах, өөрөөр хэлбэл дараахь логик томъёоны постфикс тэмдэглэгээг авах;
- саналын логик томъёоны дэд томъёог олж авах;
- салангид хэвийн хэлбэр (DNF) ба коньюнктив хэвийн хэлбэр (CNF) пропорциональ логик томъёоны томъёог авах;
- санал дэвшүүлсэн логик томъёоны үнэний хүснэгтийг бий болгох;
- пропорциональ тэмдгүүдэд үнэний утгыг хуваарилж, саналын логик томъёоны тайлбарыг авах.

Цаашилбал, та логик холбогчдод өөр өөр давуу эрхийн захиалгыг сонгож болно.