Question: Let be a boolean formula in variables and , of any length, using any of the logical operators , , , , . For example,

Let
be a boolean formula in variables
and
, of any length, using any of the logical operators ,,,,
. For example,
could be (())
. Prove that
is logically equivalent to a formula of the form
where
is one of ,,
, and
and
are chosen from {,,,}
.
Note: you do not need to find an "elegant" proof of this.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!