Fonction OU exclusif

Séances de cours associées (28)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 3

Explore multiplicand speedup commun à travers des opérations logiques comme bitwise AND et XOR pour optimiser le processus de multiplication.

Explore les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.

Couvre la vérification des symboles logiques, des ensembles et des propriétés.

Couvre les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.

Explore les identités définies comme des analogues des équivalences logiques dans la logique propositionnelle.

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Explore la logique des prédicats, couvrant les quantificateurs, les équivalences et les traductions du langage naturel.

Explore la transformation des données à l'aide d'opérateurs typedef, struct et bitwise en C++ pour manipuler les données à un niveau bit.

Explore le verrou SR, la bascule D, les multiplexeurs, les portes XOR et les portes tristates dans les systèmes logiques.