Fernando, administrador de uma grande empresa,
decidiu desenvolver um programa computacional para
organizar automaticamente os dados de seus clientes.
No meio do código, Fernando escreveu a seguinte proposição:
“Se (x = 0 ou x = 1) e (y = 0 ou y = 1), então z = 5”.
Se a proposição “x = 0” é representada por p, a proposição “x = 1” é representada por q, a proposição “y = 0” é representada por r, a proposição “y = 1” é representada por s e a proposição “z = 5” é representada por t, então a proposição de Fernando pode ser escrita em linguagem lógica como (p ∧ q) ∨ (r ∧ s) → t.
