Nearby theorems
|
|
New Foundations Explorer |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > NFE Home > Th. List > wcad | Unicode version | ||
| Description: Define the half adder carry. (Contributed by Mario Carneiro, 4-Sep-2016.) |
| Ref | Expression |
|---|---|
| wph |
  |
| wps |
 |
| wch |
 |
| Ref | Expression |
|---|---|
| wcad |
cadd   |
| Colors of variables: wff setvar class |
| Copyright terms: Public domain | W3C validator |