Operações sobre proposições: conjunção e disjunção