MPE Home Metamath Proof Explorer < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  MPE Home  >  Th. List  >  df-cad Unicode version

Definition df-cad 1448
Description: Define the half adder carry, which is true when at least two arguments are true. (Contributed by Mario Carneiro, 4-Sep-2016.)
Assertion
Ref Expression
df-cad

Detailed syntax breakdown of Definition df-cad
StepHypRef Expression
1 wph . . 3
2 wps . . 3
3 wch . . 3
41, 2, 3wcad 1446 . 2
51, 2wa 369 . . 3
61, 2wxo 1363 . . . 4
73, 6wa 369 . . 3
85, 7wo 368 . 2
94, 8wb 184 1
Colors of variables: wff setvar class
This definition is referenced by:  cadbi123d  1450  cador  1458  cadcoma  1462  cad1  1465  cad11  1466  cad0  1467
  Copyright terms: Public domain W3C validator