Қазақстан республикасының білім және ғылым министірлігі

Логикалық тұжырымдар формулаларының эквиваленттілігі

жүктеу 21,8 Mb.

бет	26/214
Дата	09.01.2018
өлшемі	21,8 Mb.
	#7265
түрі	Мазмұндама

1 ... 22 23 24 25 26 27 28 29 ... 214

Логикалық тұжырымдар формулаларының эквиваленттілігі.

Анықтама. Айталық А мен В бір айнымалылар тізіміне <

> тәуелді екі формула болсын. Егер олар <

> тізімінің кез- келген бағасында бірдей мәндер қабылдаса оларды эквивалентті формулалар деп атайды.

Анықтама. Егер 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

жүктеу 21,8 Mb.

Достарыңызбен бөлісу:

1 ... 22 23 24 25 26 27 28 29 ... 214