Логикалық тұжырымдар формулаларының эквиваленттілігі.
Анықтама. Айталық А мен В бір айнымалылар тізіміне <> тәуелді екі формула болсын. Егер олар <> тізімінің кез- келген бағасында бірдей мәндер қабылдаса оларды эквивалентті формулалар деп атайды.
Анықтама. Егер F1(x1,x2,…,xn) және F2 (x1,x2,…,xn) формулаларының ақиқаттық кестелері бірдей болса бұл формулалар эквивалентті деп аталады және «~,» белгілерінің бірімен көрсетіледі. Екі формуланың эквиваленттілігін білудің стандартты тәсілі екеуінің ақиқаттық кестесін құрып, алынған нәтижені салыстыру болып табылады. Мысалы: (x y) ~( ) формулаларының эквиваленттігін мына ақиқаттық кестеден көруге болады.
Алынған ақиқаттық кесте әрбір құрама бойынша салыстырылады. Эквивалент формулалардың мынадай қасиеттері бар:
х
|
у
|
x y
|
|
|
|
|
0
|
1
|
1
|
1
|
1
|
0
|
1
|
1
|
1
|
0
|
1
|
1
|
0
|
0
|
0
|
1
|
0
|
1
|
1
|
1
|
0
|
0
|
1
|
Достарыңызбен бөлісу: |