Professional Documents
Culture Documents
THEOREM: If F Is Positive Unate in Variable X: Solution
THEOREM: If F Is Positive Unate in Variable X: Solution
F = Fx +x Fx.
If a function is positive unate in x than this means it doesnt contain any cube with literal x F can be expressed as F = x. A + B Now Fx= A +B1 Fx = B2 So, F= (x.A + B) = (x.A)B = (x + A)B F = xB + AB = (A + B) + xB Using 1 and 2 we get F = (Fx) + x.(Fx)
F = x (Fx) + (Fx)
If a function is negative unate in x than this means it doesnt contain any cube with
Fx = B1 Fx= A+B2