eq Flashcards
Composition with Module Two
A logic operation that outputs true if inputs are different and false if inputs are the same
Minterm
A minterm is an AND combination of all variables where the result is true for exactly one case in a truth table.
Maxterm
A maxterm is an OR combination of all variables where the result is false for exactly one case in a truth table.
Quatifiers
Quantifiers specify how many elements in a set satisfy a given condition.
According to which proof method is the sentence formed
Proof by contadiction, direct proof, modus pomens, modus tolenns, proof contrapositive
laws
Identity, distributive, domination, idempotent, double negation, associative, de morgans, cummunative
Tautology
A tautology is a Boolean expression that is true for all possible values of its variables.
Contradiction
A contradiction is a Boolean expression that is false for all possible values of its variables.
Undecidable
An expression is undecidable if it is neither always true nor always false, meaning its truth value depends on the values of the variables.