Logic & Truth Tables

Select & Configure Logical Formula

Generated Truth Table

Logical Expression Definitions & Rules

💡 Rules of Propositional Logic Symbols

• AND ∧: True (T) only when both P and Q are True (T).
• OR ∨: True (T) if at least one of P or Q is True (T).
• Implies ⇒: False (F) only when P is True (T) and Q is False (F); otherwise True (T).
• XOR ⊕: True (T) only when the truth values of P and Q are different.