Lógica para programação

[DiegoRemas]

Seguinte hoje tive avaliação da minha cadeira de lógica para programação, e bá, não soube fazer as seguintes questões e preciso envia-las para o professor em menos de 24 horas

Questão 1: Testar a validade do seguinte argumento:

(a c)’, b + a -> c, a <-> (a > , b + c

Questão 2: Simplificar a seguinte questão lógica:

A.B.C+A.B'.C+A.B'.C'+A'.B.C+A'.B.C'

Questão 4: Simplifique a função abaixo:

F(t, u, v) = ( ( (t.u’)’.v’ )’. t’v )’

[Ash Cation]

Nossa , isso não é logica de programação não , isso é logica normal , alias bem mal feito esses exercícios em.

 

O primeiro eu não entendi porque tem emoticon no meu e tal.

 

O segundo você pode tratar como logica de conjuntos e procurar aquelas regrinhas do tipo A(barrado)+B(barrado)= etc saca , nos livros de logica tem esse tipos de exercícios e +- todas as regrinhas gerais.

 

O terceiro se eu entendi correto é : ((t´.u.v´).(t´.v)) , mas ai depois disso precisa ver as propriedades , de multiplicação , alias antes de fazer o primeiro movimento da uma olhada nas regras como falei acima.

[IgorC]

Essa é a famosa gambiarra.