Video lecture of Boolean Algebra and formal logic,predicate and Quantifier

Boolean Algebra:This lecture includes Boolean function,boolean function and boolean expression,identities
of boolean algebra,duality,the abstract definition of boolean algebra .
Formal logic: Proposition and their related theorem  ,translating English sentence,
boolean searches ,logic and bit  operation ,logical equivalence,predicate and Quantifier,
translating sentences into expression ,binding variables,negation etc.


Download lecture now..