Mister Exam

Mathematical logic step by step

    • Use symbolic logic and logic algebra
    • Place brackets in expressions, given the priority of operations
    • Simplify logical expressions
    • Build a truth table for the formulas entered
    • Find Normal Forms of Boolean Expression:
      • Conjunctive normal form (CNF), including perfect
      • Disjunctive normal form (DNF), including perfect

    Examples of logical expressions

    Supported symbols in logical expressions

    Here are the symbols that should be specified when entering a logical formula into the calculator

    ¬a
    - negation
    a⇒b
    - material implication
    a∧b
    - logical conjunction
    a∨b
    - logical disjunction
    a⇔b
    - logical equality
    a⊕b
    - exclusive or ( Exclusive disjunction)
    a|b
    - Nand (not and) (Sheffer stroke)
    a↓b
    - Not-Or (logical NOR)
    a⊙b
    - XNOR gate ( Exclusive AND)

    In the calculator, you can simplify expressions with the following operations: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR

    To see a detailed solution - share to all your student friends
    To see a detailed solution,
    share to all your student friends: