матлог

Дизъюнкционалды қалыпты форма деп -

• конъюнктивалық монохромды еркін ажырату

• Эквиваленттілік

• егер ол айнымалы мәндердің барлық жиынтығымен шынайы тұжырымға айналса

x↔y деп белгіленген екі Аргументтің функциясы қалай аталады.

• Формула астында

• Шеффердің штрихы

• Эквиваленттілік

Келесі сөйлемдердің қайсысы мәлімдеме болып табылады:

• егер ол айнымалы мәндердің барлық жиынтығымен шынайы тұжырымға айналса

• Үшбұрыш, егер оның барлық жақтары тең болса, тең жақты деп аталады;

• дизъюнкционалды монохромдардың еркін конъюнктурасы

• егер осы айнымалылардың әрқайсысы оған бір рет, теріске шығару белгісімен немесе онсыз кірсе.

Формула қалай аталады, оның кез-келген бөлігі формула болып табылады?

• Шеффердің штрихы

• Пирс бағыты

• Формула астында

x y деп белгіленген екі аргументтің функциясы қалай аталады?

• Ай – Марстың серігі

• 2 модуль бойынша қосу

• Мағынасы бірдей жалған

> Кейбір айнымалылардың қандай қалыпты формасы мінсіз деп аталады?

• егер осы айнымалылардың әрқайсысы оған бір рет, теріске шығару белгісімен немесе онсыз кірсе

• егер оған кіретін әрбір монохромды сол айнымалылардан алынған мінсіз монохромды болса.

Бір аргументтің логикалық функциясы қандай функция деп аталады?

• екі элементтің жиынында берілген бір аргументтен {0, 1} және сол екі элементтік жиынтықтағы мәндерді қабылдайды.

• егер оған кіретін әрбір монохромды сол айнымалылардан алынған мінсіз монохромды болса.

• егер ол барлық айнымалы мәндер жиынтығымен жалған мәлімдемеге айналса.

Үш айнымалыдан қарапайым формуланы үш айнымалыға тең формулалар арасында табыңыз, шындық кестесінің соңғы бағанында келесі көрініс бар: 0 1 0 1 0 1 0 1

• Z

• Y

N == {1, 2, 3, ...} – бұл … жиынтығы.

• натурал сандар

• бутін сандар

• нақты сандар

Z = {О, ±1, ±2, ±3, ...} – бұл … жиынтығы.

• нақты сандар

• бүтін сандар

• бос жиын

• натурал сандар