Special Connectives and Functional Completeness | Mathematical logic | KopHub — KopHub

Chapters

On this page & study actions

Assessed progress

Sign in and complete the verified MCQs to track mastery.

Practice this topic Next topicBoolean Logic and Bit Operations

Home/Sem 3/← Discrete Mathematical Structures/Mathematical logic/Special Connectives and Functional Completeness

Unit 1: Mathematical logic4 min read

Special Connectives and Functional Completeness

Assessed progress

Sign in and complete the verified MCQs to track mastery.

Practice this topic Next topicBoolean Logic and Bit Operations

Practice this subject

Continue to KopHub’s existing question and assessment experience.

PreviousPropositional Equivalences and Tautologies Next Boolean Logic and Bit Operations

CSE/SY Sem 3

Leaderboard Calendar Playground

CSE/SY Sem 3

Leaderboard Class Schedule Code Playground Settings

Appearance

Discrete Mathematical Structures

6 Modules

Foundations of Propositional Logic Propositional Equivalences and Tautologies Special Connectives and Functional Completeness Boolean Logic and Bit Operations Operator Precedence and Polish Notation

Functions and Their Properties Binary Relations and Equivalence Posets and Hasse Diagrams Foundations of Set Theory Set Operations and Identities

Algebraic Systems and Binary Operations Semigroups and Subsemigroups Monoids and Submonoids Groups and Abelian Groups Subgroups and Homomorphisms

Introduction to Lattices and Posets Algebraic Properties and Lattice Operations Substructures, Products, and Homomorphisms Distributive, Bounded, and Complemented Lattices

Content unavailableSoon

Introduction to Graphs and Basic Properties Paths, Reachability, and Connectivity Matrix Representations of Graphs Trees and Their Properties Special Graphs, Planarity, and Theorems Practical Applications of Graphs

Discrete Mathematical Structures

6 Modules

Foundations of Propositional Logic Propositional Equivalences and Tautologies Special Connectives and Functional Completeness Boolean Logic and Bit Operations Operator Precedence and Polish Notation

Functions and Their Properties Binary Relations and Equivalence Posets and Hasse Diagrams Foundations of Set Theory Set Operations and Identities

Algebraic Systems and Binary Operations Semigroups and Subsemigroups Monoids and Submonoids Groups and Abelian Groups Subgroups and Homomorphisms

Introduction to Lattices and Posets Algebraic Properties and Lattice Operations Substructures, Products, and Homomorphisms Distributive, Bounded, and Complemented Lattices

Content unavailableSoon

Introduction to Graphs and Basic Properties Paths, Reachability, and Connectivity Matrix Representations of Graphs Trees and Their Properties Special Graphs, Planarity, and Theorems Practical Applications of Graphs