eq Flashcards

1
Q

Composition with Module Two

A

A logic operation that outputs true if inputs are different and false if inputs are the same

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Minterm

A

A minterm is an AND combination of all variables where the result is true for exactly one case in a truth table.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Maxterm

A

A maxterm is an OR combination of all variables where the result is false for exactly one case in a truth table.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Quatifiers

A

Quantifiers specify how many elements in a set satisfy a given condition.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

According to which proof method is the sentence formed

A

Proof by contadiction, direct proof, modus pomens, modus tolenns, proof contrapositive

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

laws

A

Identity, distributive, domination, idempotent, double negation, associative, de morgans, cummunative

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Tautology

A

A tautology is a Boolean expression that is true for all possible values of its variables.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Contradiction

A

A contradiction is a Boolean expression that is false for all possible values of its variables.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Undecidable

A

An expression is undecidable if it is neither always true nor always false, meaning its truth value depends on the values of the variables.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly