• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
      • 100-theorems
      • Arithmetic
      • Bit-vectors
        • Sparseint
        • Bitops
        • Bv
        • Ihs
        • Rtl
          • Floating-Point Exceptions and Specification of Elementary Arithmetic Instructions
          • Implementation of Elementary Operations
          • Register-Transfer Logic
            • Bit Vectors
            • Logical Operations
              • Binary Operations
              • Algebraic Properties
              • Complementation
            • Basic Arithmetic Functions
          • Floating-Point Arithmetic
          • Modeling Algorithms in C++ and ACL2
          • Bibliography
      • Algebra
    • Testing-utilities
  • Register-Transfer Logic

Logical Operations

Logical Operations

Subtopics

Binary Operations
Binary Operations
Algebraic Properties
Algebraic Properties
Complementation
Complementation