Scribd
Upload
22 views

FM 1

The document contains 4 examples of truth tables for logical expressions involving various combinations of logical operators such as AND, OR, NOT, IMPLIES, and XOR. Each truth table lists all possible combinations of values (True/False) for the propositional variables and evaluates the logical expressions for each combination.

Uploaded by

sam
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
22 views

FM 1

The document contains 4 examples of truth tables for logical expressions involving various combinations of logical operators such as AND, OR, NOT, IMPLIES, and XOR. Each truth table lists all possible combinations of values (True/False) for the propositional variables and evaluates the logical expressions for each combination.

Uploaded by

sam
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Make truth table for the following given literals.

1: A    B      ¬B        (  A ∧ (¬B) )       ¬(A ∧ (¬B))         A ⇒ B

A B ¬B ( A ∧ (¬B) ) ¬(A ∧ (¬B)) A⇒B


T T F F T T
T F T T F F
F T F F T T
F F T F T T

2: A     B     ¬A        ¬B ⇒ ((¬ A) ∨ (¬B))           ¬((¬A) ∨ (¬B))          A ∧ B

A B ¬A ¬B ¬B ⇒ ((¬ A) ∨ (¬B)) ¬((¬A) ∨ (¬B)) A∧B


T T F F T F T
T F F T T T F
F T T F T T F
F F T T T T F

3: A     B      ¬A        ¬B ⇒ ((¬ A) ∨ (¬B))            ¬((¬A) ∨ (¬B))

A B ¬A ¬B ¬B ⇒ ((¬ A) ∨ (¬B)) ¬((¬A) ∨ (¬B))


T T F F T F
T F F T T T
F T T F T T
F F T T T T

4: A ⊗ B = ‘Both, propositions A and B, are false’.              

Then 

A   B      A ⊗ B      ¬(A ⊗ B)     A ∨ B

A B A⊗B ¬(A ⊗ B) A∨B


F F F T F

----------------------------------------------------THE END-------------------------------------------------
A B ¬B ( A ∧ (¬B) ) ¬(A ∧ (¬B)) A⇒B
T T F F T T
T F T T F F
F T F F T T
F F T F T T

A B ¬A ¬B ¬B ⇒ ((¬ A) ∨ (¬B)) ¬((¬A) ∨ (¬B)) A∧B


T T F F T F T
T F F T T T F
F T T F T T F
F F T T T T F

A B ¬A ¬B ¬B ⇒ ((¬ A) ∨ (¬B)) ¬((¬A) ∨ (¬B))


T T F F T F
T F F T T T
F T T F T T
F F T T T T

A B A⊗B ¬(A ⊗ B) A∨B


F F F T F

You might also like