operators of propositional logic
impl-free