Исказна логика - квиз¶
- ¬ (p ∨ q) ⇔ ¬ p ∧ ¬ q
- p ⇒ (q ⇒ r) ⇔ p ∧ q ⇒ r
- ¬ (p ∧ q) ⇔ ¬ p ∧ ¬ q
- p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
Q-21: Која од претходних формула није таутологија:
- њена претпоставка тачна
- њена претпоставка нетачна
- њен закључак тачан
- њен закључак нетачан
Q-22: Импликација је сигурно тачна ако је:
- порецива
- незадовољива
- задовољива
- таутологија
Q-23: Исказна формула је таутологија ако и само ако је њена негација:
- логичка еквиваленција
- дискункција
- конјункција
- валуација
Q-24: Функција која свакој исказној променљивој додељује истинитосну вредност (тачно, нетачно) назива се:
- задовољивост формула у конјуктивној нормалној форми
- задовољивост формула у дисјунктивној нормалној форми
- порецивост формула у дисјунктивној нормалној форми
- таутологичност формула у конјунктивној нормалној форми
Q-25: SAT решавачи испитују: