МатЛогика.kz
Дискретті Математика & Математикалық Логика

Ақиқат кестелері және оларды құру

Математикалық логиканың негіздерін, логикалық амалдарды (конъюнкция, дизъюнкция, импликация, эквиваленция, инверсия) терең меңгеріп, интерактивті симуляторлар мен күрделі тесттер арқылы біліміңізді шыңдаңыз.

Теорияны Бастау Кесте Симуляторы

Теориялық Негіздер

Логикалық пайымдаулар, негізгі амалдар және ақиқат кестесін құру ережелері

Ақиқат кестесі дегеніміз не?

Пайымдау (Пікір) — ақиқат (1 немесе T) немесе жалған (0 немесе F) болуы мүмкін пайымдау мәлімдемесі. Ақиқат кестесі — логикалық өрнектің оған кіретін айнымалылардың барлық мүмкін мәндер жиынтығында қандай мән алатынын көрсететін кесте.

Ақиқат мәні (True): Логикалық 1, "Ақиқат", "True" немесе "T" деп белгіленеді.
Жалған мәні (False): Логикалық 0, "Жалған", "False" немесе "F" деп белгіленеді.
Конъюнкция A ∧ B

Логикалық Көбейту (ЖӘНЕ / AND)

Екі пайымдау да ақиқат (1) болғанда ғана нәтижесі 1 болады.

ABA ∧ B
000
010
100
111
Дизъюнкция A ∨ B

Логикалық Қосу (НЕМЕСЕ / OR)

Кемінде бір пайымдау ақиқат (1) болса, нәтижесі 1 болады.

ABA ∨ B
000
011
101
111
Импликация A → B

Логикалық Салдар (ЕСЕ / IF)

Тек 1 → 0 жағдайында ғана 0 береді. Ереже: A ⩽ B немесе ¬A ∨ B.

ABA → B
001
011
100
111
Эквиваленция A ↔ B

Логикалық Пара-парлық (IFF)

Айнымалылардың мәндері бірдей (0=0 немесе 1=1) болса 1 болады.

ABA ↔ B
001
010
100
111
Инверсия ¬A / A̅

Логикалық Терістеу (ЖОҚ / NOT)

Мәнді қарама-қарсы мәнге ауыстырады (0 → 1, 1 → 0).

A¬A
01
10
Маңызды Формула

Кесте қатарларының саны ($N$)

Айнымалылар саны $n$-ге тең болса, ақиқат кестесіндегі жолдар (қатарлар) саны:

N = 2n

Мысалы: 3 айнымалы (A, B, C) болса, $2^3 = 8$ қатар болады.

Амалдардың Орындалу Реті

  1. Жақша ішіндегі өрнектер
  2. Инверсия (Жоққа шығару: $\neg$)
  3. Конъюнкция (Логикалық көбейту: $\land$)
  4. Дизъюнкция (Логикалық қосу: $\lor$)
  5. Импликация ($\rightarrow$)
  6. Эквиваленция ($\leftrightarrow$)

Де Морган Заңдары

1-заң: ¬(A ∧ B) = ¬A ∨ ¬B
2-заң: ¬(A ∨ B) = ¬A ∧ ¬B

Бұл заңдар күрделі логикалық өрнектерді түрлендіру үшін қолданылады.

Интерактивті Ақиқат Кестесін Құрастырушы

Өрнекті таңдаңыз немесе құрастырыңыз, кестені қадамдап толтырыңыз және авто-тексеру арқылы сынаңыз

Таңдалған өрнек:
(A ∧ B) ∨ ¬A

Сәйкестендіру Тапсырмасы

Логикалық амал атауларын олардың формулалары мен анықтамаларымен сәйкестендіріңіз

Логикалық Амалдар:

1. Конъюнкция (∧)
2. Дизъюнкция (∨)
3. Импликация (→)
4. Эквиваленция (↔)

Сипаттамасы / Анықтамасы:

A=1 және B=0 болғанда ғана ЖАЛҒАН (0) болатын амал.
Екі пайымдау да АҚИҚАТ (1) болғанда ғана нәтижесі 1 болады.
Екі пайымдаудың мәндері БІРДЕЙ болғанда АҚИҚАТ (1) береді.
Кемінде бір пайымдау АҚИҚАТ (1) болса, нәтижесі 1 болады.
18 Күрделі Сұрақ

Бекіту Тест Тапсырмалары

Математикалық логика пәні бойынша біліміңізді тексеріңіз. Дұрыс жауаптар әртүрлі нұсқаларға шашыратылған.

Сұрақ 1 / 18 Ұпай: 0

--