Propositional logic
[uk] Логіка висловлювань