[PSD6] Exercise: T11 - Consensus

[matypist]

1. Prove T11 using perfect induction

2. Prove T11 using other theorems and axioms

[Elia-Belli]

• B C D X Y
  0 0 0 0 0
  0 0 1 1 1
  0 1 0 0 0
  0 1 1 1 1
  1 0 0 0 0
  1 0 1 0 0
  1 1 0 1 1
  1 1 1 1 1

• $BC + \bar B D + CD$
  $BC + \bar B D + (B + \bar B) CD$
  $BC + \bar B D + BCD + \bar B C D$
  $\bar B (D+CD) + BC (1+D)$
  $\bar B (D (1+C)) + BC$
  $\bar B D + BC$

[FeddyLix17]

corretto