使用指南
Relations & Logic regroupe cinq outils de mathématiques discrètes sous une barre d'onglets : Famille, Propositions, Ensembles, Symbolique et Booléen. Chaque réponse passe par l'énumération ou des règles exactes, jamais par échantillonnage. Famille transforme une chaîne de parents en un terme de parenté ; Propositions construit la table de vérité complète d'une formule et la classe Tautologie, Contradiction ou Satisfiable (contingent) ; Ensembles calcule l'union, l'intersection, la différence, la différence symétrique, les ensembles des parties et les produits cartésiens ; Symbolique exécute un travail de calcul formel de la simplification aux transformées de Laplace ; Booléen évalue une affectation d'une expression. Chaque onglet a sa propre adresse — /math/relogic/proposition en est un exemple —, si bien qu'un résultat peut être mis en favori ou partagé.
更新 6 个来源约 6 分钟读完