Limited access

Upgrade to access all content for this subject

Logical connectives are operators which connect boolean variables to create larger boolean formulas. Each logical connective produces a boolean result based on the truth values of its inputs and the rules which govern its behavior. The logical connectives that we will consider for this problem are AND (∧), OR (∨), IF/THEN (→), and NOT (¬).

The behavior of a logical connective can be presented in a truth table. A truth table iterates over each possible combination of boolean inputs for a logical connective and gives the boolean output for each combination. Presented below are truth tables for each of the previously mentioned connectives:

TRUTH TABLE A

A B ???
0 0 1
1 0 0
0 1 1
1 1 1



TRUTH TABLE B

A ???
0 1
1 0



TRUTH TABLE C

A B ???
0 0 0
1 0 1
0 1 1
1 1 1



TRUTH TABLE D

A B ???
0 0 0
1 0 0
0 1 0
1 1 1



Fill in the statements below to match each truth table to its corresponding logical connective.

TRUTH TABLE A represents the
Select Option AND (∧)OR (∨)IF/THEN (→)NOT (¬)
connective. TRUTH TABLE B represents the
Select Option AND (∧)OR (∨)IF/THEN (→)NOT (¬)
connective. TRUTH TABLE C represents the
Select Option AND (∧)OR (∨)IF/THEN (→)NOT (¬)
connective. TRUTH TABLE D represents the
Select Option AND (∧)OR (∨)IF/THEN (→)NOT (¬)
connective.
Select an assignment template