Totuustaulu
Totuustaulu, or truth table, is a tool used in propositional logic to display the truth value of a compound proposition for every possible combination of truth values of its basic components. It helps to analyze how logical connectives and expressions behave under all scenarios.
A truth table lists all possible assignments of truth values to the involved variables. If there are
Truth tables are used to determine logical properties such as equivalence, validity, tautology, and satisfiability. They
Example: the truth table for the conjunction p ∧ q
This compact representation makes it easy to reason about complex expressions and to compare different formulations.