Скачать/Жүктеу
Егер логика алгебрасының А және В формулалары олардың құрамына енетін қарапайым тұжырымдарының кез келген мәндерінде бірдей мән қабылдаса, онда бұл формулалар пара-пар деп аталады. Формулалардың пара-парлығын º белгісімен белгілейміз, яғни
А ºВ Û А және В формулалары пара-пар.
Егер А формуласы оған кіретін айнымалылардың барлық мәндерінде 1 мәнді қабылдайтын болса, онда бұл формула тепе-тең ақиқат (немесе тавтология) деп аталады.
Егер А формуласы оған кіретін айнымалылардың барлық мәндерінде 0 мәнді қабылдайтын болса, онда бұл формула тепе-тең жалған (немесе қарама-қайшылық) деп аталады.
Пара-парлық және эквиваленттік ұғымдары арасында мынадай байланыс бар: егер А және В формулалар пара-пар болса, онда А«В формуласы – тавтология, және керісінше, егер А«В формуласы тавтология болса, онда А және В формулалары пара-пар болады.