Describir: ¿Está disponible el método de tablas de verdad para evaluar fórmulas con identidad?