Truth Table: a→b, a∨~b
Truth TableA truth table is a complete list of every possible combination truth values for a particular logic statement.
Symbols
∧: “and” symbol (logical conjunction), eg: a ∧ b, "a AND b": A conjunction (∧) is ONLY true when BOTH a and b are true
∨: “or” symbol (logical disjunction), eg: a ∨ b, "a OR b" means either a is true, or b is true, or both
~: “negation” (not) symbol, eg: ~b, "NOT b" means b is not true
→: conditional "if-then", eg: a→b, "IF a THEN b" means a implies b
↔: Biconditional "if and only if", e.g.: a↔b means a is equivalent to b
I need a truth table for this:
a→b ↔ a∨~b