add teoremas booleanos