Задача здійсненності булевих формул: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м робот змінив: he:בעיית הספיקות |
Sl (обговорення | внесок) мНемає опису редагування |
||
Рядок 26:
[[sr:САТ проблем]]
[[th:ปัญหาความสอดคล้องแบบบูล]]
[[zh:布尔可
| |||