Жұмыс бағдарламасы (силлабус) осы мамандықттардың Қр мжмбс 08. 329-2006, Қр мжмбс 08. 33-2006 Мемлекеттік стандартына сәйкес құрылған

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

жүктеу/скачать 21,8 Mb.

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

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

Каталог: uploads
uploads -> Сәлім меңдібаев армысың, алтын таң! Журналист жазбалары Қостанай – 2013 ж
uploads -> Тақырыбы: Ғарышты игеру (аудандық семинар)
uploads -> Реферат kz Қазақша рефераттар сайты Талғат Амангелдіұлы Мұсабаев Қазақстанның ұлттық ғарыш агенттігінің төрағасы. Ғарышкер, техника ғылымдарының докторы
uploads -> Ғарыш әлеміне саяхат
uploads -> Сабақ тақырыбы: Шерхан Мұртаза «Ай мен Айша» романы Сабақ мақсаты: ҚР «Білім туралы»
uploads -> Қазақ тілі мен латын тілі кафедрасы Қазақ Әдебиеті пәні бойынша әдістемелік өҢдеу мамандығы: Фельдшер Мейірбике ісі Стамотология Курс: І семестрі: ІІ
uploads -> Ф 7 –007-02 Қазақстан Республикасы Білім және ғылым министрлігі
uploads -> 2011 жылдың 14 мамырында «Жалпы гигиена және экология», «Эпидемиология» кафедрасының ұйымдастыруымен және «Студенттік басқару ұйымының» ұйымдастыруымен Д. Е
uploads -> Сабақтың тақырыбы Бала Мәншүк ( Мәриям Хакімжанова) Сілтеме
uploads -> Ана тілі №2. Тақырыбы: Кел, балалар, оқылық Мақсаты

жүктеу/скачать 21,8 Mb.

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

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