Search code examples
truthtable

Truth table to prove an argument true/false


Can someone help me out with truth tables? I would like to create a truth table to prove whether or not this is true.


Solution

  • A  B  C    B∧C   A∨(B∧C)  A ∨ B   A ∧ C    (A ∨ B) ∨ (A ∧ C)
    0  0  0     0       0        0        0               0
    0  0  1     0       0        0        0               0
    0  1  0     0       0        1        0               1 
    0  1  1     1       1        1        0               1 
    1  0  0     0       1        1        0               1
    1  0  1     0       1        1        1               1
    1  1  0     0       1        1        0               1
    1  1  1     1       1        1        1               1
    

    When A=0, B=1 and C=0

    A ∨ (B ∧ C) = 0
    (A ∨ B) ∨ (A ∧ C) = 1 ∨ 0 = 1
    

    So A ∨ (B ∧ C) = A ∨ B) ∨ (A ∧ C) is false.