Анықтама
Ақиқат кестесі — логикалық өрнектегі айнымалылардың барлық мүмкін комбинациясы үшін нәтижені көрсететін кесте.
Жол саны m = 2ⁿ (n — айнымалылар саны); баған саны = айнымалылар + операциялар саны.
Алгоритм
1. Айнымалылар санын анықта. 2. Жол саны m=2ⁿ. 3. Операциялар санын анықта. 4. Басымдылық ретімен толтыр.
| A | B | ¬B | ¬A | A∧(B∨¬B∧¬A) |
|---|
| 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 |
Кеңес
Әр аралық операцияны МІНДЕТТІ ТҮРДЕ бөлек бағанға жаз — тікелей соңғы нәтижеге секіру қателерге әкеледі.
Деңгей: Орта Жол санын анықтау
Берілді: 3 айнымалыдан (A, B, C) тұратын өрнек.
Табу керек: ақиқат кестесіндегі жол саны.
Шешуі:
m = 2ⁿ = 2³ = 8.
Жауабы: 8 жол.