Hola, necesito ayuda para resolver la siguientes tablas de verdad doy 5 estrellas. { [(a &or; d ) → (d &and; a)] → [(a &and; b ) &and; ¬ (a &and; c)] } &or; ¬ (d → b){ [(b &or; c ) &and; (a &or; d)] &or; [(b &or; b ) → ¬ (a &and; b)] } &or; (c → a)¬ { [(c &or; a ) → (b &and; c)] → [(d &and; b ) → (d &and; c)] &and; (d → c){ [(d &or; b ) → (c &and; d)] → [(a → b ) &and; ¬ (b &or; a)] } &or; ¬ (b → a)¬ { [(a &or; a ) &and; (d &and; b)] → [(c &and; b ) → (a &and; d)] } &and; (d → a). Created by Fran. ciencias-y-matematicas-en - matematicas-en

Tal vez con una pregunta por ejercicio...Ten en cuenta que, con 4 variables,las líneas a considerar son 2^4 = 16 líneas.

¿Ayuda para resolver las siguientes tablas de verdad?

May 2021 2 116 Report

¿Ayuda para resolver las siguientes tablas de verdad?

Hola, necesito ayuda para resolver la siguientes tablas de verdad doy 5 estrellas.

{ [(a ∨ d ) → (d ∧ a)] → [(a ∧ b ) ∧ ¬ (a ∧ c)] } ∨ ¬ (d → b)

{ [(b ∨ c ) ∧ (a ∨ d)] ∨ [(b ∨ b ) → ¬ (a ∧ b)] } ∨ (c → a)

¬ { [(c ∨ a ) → (b ∧ c)] → [(d ∧ b ) → (d ∧ c)] ∧ (d → c)

{ [(d ∨ b ) → (c ∧ d)] → [(a → b ) ∧ ¬ (b ∨ a)] } ∨ ¬ (b → a)

¬ { [(a ∨ a ) ∧ (d ∧ b)] → [(c ∧ b ) → (a ∧ d)] } ∧ (d → a)