English

Verify if the following proposition is valid using the truth table: (X ∧ Y) =>Z = (Y => Z) ∧ (X => Y). - Computer Science (Theory)

Advertisements
Advertisements

Question

Verify if the following proposition is valid using the truth table:

(X ∧ Y) =>Z = (Y => Z) ∧ (X => Y).

Answer in Brief

Solution

X Y Z X ∧ Y (X ∧ Y)=>Z Y=>Z X=>Y (Y=>Z )∧(X=>Y)
0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 1 0 0 1 0 1 0
0 1 1 0 1 1 1 1
1 0 0 0 1 1 0 0
1 0 1 0 1 1 0 0
1 1 0 1 0 0 1 0
1 1 1 1 1 1 1 1

INVALID

shaalaa.com
Truth Tables
  Is there an error in this question or solution?
2024-2025 (April) Specimen Paper
Share
Notifications

Englishहिंदीमराठी


      Forgot password?
Use app×