Logic & Formal Reasoning

Truth tables, syllogisms, set theory, boolean algebra, Venn diagrams, predicate logic, probability trees, decision matrices, and game theory payoffs.

Matches are ranked by relevance. Use CtrlK anytime to search the full site.

Estimate Boolean expression simplification from sum-of-products form. Calculates term and literal reduction using grouping heuristics.

Compare two options using weighted scoring across 4 criteria. Calculates normalized totals, winner, and sensitivity analysis.

Analyze a 2x2 payoff matrix to find dominant strategies, Nash equilibria (pure and mixed), minimax values, and Pareto optimality.

Test whether two propositional logic expressions produce identical truth values across all variable assignments.

Evaluate quantified predicate logic statements (universal, existential, unique existential) over a finite domain.

Calculate sequential and combined probabilities for multi-stage probability trees with up to 4 branches.

Calculate union, intersection, difference, symmetric difference, and complements for two sets with similarity metrics.

Check the validity of categorical syllogisms by figure and mood. Identifies all 19 traditionally valid syllogistic forms.

Generate a complete truth table for propositional logic formulas with 2-4 variables and common logical operations.

Calculate exclusive region values for 2-set or 3-set Venn diagrams using inclusion-exclusion principle.