Mat For Data Science 3
Mat For Data Science 3
Mat For Data Science 3
Hari Narayanan
20 October 2024
Contents
1 Disjunctive Normal Form(DNF) 2
3 Boolean Variables 2
3.1 Boolean Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3.2 Atomic Boolean Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1
1 Disjunctive Normal Form(DNF)
In DNF, the Boolean expression is a disjunction (logical OR, denoted as ∨) of conjunctions
(logical AND, denoted as ∧) of literals (a variable or its negation). Each satisfying truth
assignment (truth table row where the function evaluates to true) contributes a conjunction
of literals.
The resulting DNF is the disjunction of all such conjunctions.
3 Boolean Variables
A Boolean variable is a variable that can take only one of two possible values, typically
represented as True or False, or equivalently as 1 or 0 in binary logic. Boolean variables are
the fundamental building blocks of Boolean algebra
Z2 which is {0, 1}
2
1. f(x, y, z) =(x ∧ ¬y) ∨ (¬x ∧ y)
x y z ¬y ¬x x ∧ ¬y ¬x ∧ y f (x, y) f (x, y, z)
0 0 0 1 1 0 0 0 0
0 0 1 1 1 0 0 0 0
0 1 0 0 1 0 1 1 1
0 1 1 0 1 0 1 1 1
1 0 0 1 0 1 0 1 1
1 0 1 1 0 1 0 1 1
1 1 0 0 0 0 0 0 0
1 1 1 0 0 0 0 0 0
x y z x∨y y∨z ¬x ¬y ¬z ¬x ∨ ¬y ∨ ¬z g
0 0 0 0 0 1 1 1 1 0
0 0 1 0 1 1 1 0 1 0
0 1 0 1 1 1 0 1 1 1
0 1 1 1 1 1 0 0 1 1
1 0 0 1 0 0 1 1 1 0
1 0 1 1 1 0 1 0 1 0
1 1 0 1 1 0 0 1 1 1
1 1 1 1 1 0 0 0 0 0
1 0 1 1 1 0 1 0 1 1
The DNF of the function g is given by: g =(¬x ∧ y ∧ ¬z) ∨ (¬x ∧ y ∧ z) ∨ (x ∧ y ∧ ¬z) ∨
(x ∧ ¬y ∧ z)
• It is unique