Формулаларды тепе-тең түрлендіру

Тепе-теңдіктерді пайдалану арқылы формуланы немесе оның бір бөлігін оған пара-пар (эквивалент) формуламен алмастыруға болады. Осындай алмастырулар тепе-тең түрлендірулер деп аталады.

Тепе-тең түрлендірулердің мақсаты

Тепе-тең түрлендірулер логикалық өрнектермен жұмыс істеудің негізгі құралдарының бірі болып саналады. Олар келесі жағдайларда қолданылады:

  • тепе-теңдіктерді дәлелдеу — екі формуланың эквивалент екенін көрсету;
  • берілген түрге келтіру — формуланы талап етілген пішінге айналдыру;
  • ықшамдау — күрделі өрнекті қарапайым әрі түсінікті түрге келтіру.

Ықшам формула ұғымы

Егер A формуласының құрамында оған пара-пар B формуласына қарағанда әріптер мен логикалық амалдар азырақ болса, онда A формуласы B-ден ықшам деп есептеледі.