Ushbu taqdimot mulohazalar algebrasining asosiy tengkuchliliklari, teng kuchlilik, teng kuchli almashtirishlar va tavtologiya mavzularini o'z ichiga oladi. Algebraik ifodalarni tengkuchlash va algebraik tenglama hamda tengsizliklar ko'rib chiqiladi