Scribd
Upload
17 views

Book 2

This document contains a truth table that defines the logical relationships between two variables, A and B, for various logical operators including conjunction, disjunction, conditional, biconditional, negation, and conjunction of negations. It shows the output for each combination of inputs for A and B.

Uploaded by

Victor M. Morcillo
Copyright
© © All Rights Reserved
Available Formats
Download as XLSX, PDF, TXT or read online on Scribd
17 views

Book 2

This document contains a truth table that defines the logical relationships between two variables, A and B, for various logical operators including conjunction, disjunction, conditional, biconditional, negation, and conjunction of negations. It shows the output for each combination of inputs for A and B.

Uploaded by

Victor M. Morcillo
Copyright
© © All Rights Reserved
Available Formats
Download as XLSX, PDF, TXT or read online on Scribd
You are on page 1/ 2

A B A∨ B A B A∧ B

1 1 1 1 1 0
1 0 1 1 0 0
0 1 1 0 1 0
0 0 0 0 0 1

A B A→B A B

(A → B) ∧ A [(A → B) ∧ A] → B
1 1 1 1 1 1 1
1 0 0 0 1 1 0
0 1 1 0 1 0 1
0 0 1 0 1 0 0
A B A→B A B A⇔ B

1 1 1 1 1 1
1 0 0 1 0 0
0 1 1 0 1 0
0 0 1 0 0 1

(A ∨ B)
A∨ B ¬A ¬B (¬A) ∧ (¬B) ∧ [(¬A)
∧ (¬B)]

1 0 0 0 0
1 0 1 0 0
1 1 0 0 0
0 1 1 1 0

You might also like