ACPC10C - Normalized Form
As you most probably know, any boolean expression can be expressed in either a disjunctive normal form or a conjunctive normal form. In a disjunctive normal form, a boolean expression is written as a disjunct (logical or) of one-or more sub-expressions where each of these sub-expressions is written in a conjunctive normal form. Similarly, an expression written in a conjunctive normal form is a conjunct (logical and) of sub-expressions each written in a disjunctive normal form.
An AND/OR tree is a tree-like graphical-representation of boolean ex- pressions written as either conjunctive- or disjunctive-normal form. Since the sub-expressions of a normalized form alternate in being either disjunctive or conjunctive forms, you’d expect the sub-trees on an AND/OR tree to alternate in being AND- or OR- trees depending on the sub-tree’s depth-level. The example upwards illustrates this observation for the boolean expression (A (B C)) (D E) where the trees in the 1st (top-most) and 3rd levels are AND-trees.
Write a program that evaluates a given and/or tree.
Input
Your program will be tested on one or more test cases. Each test case is specified on exactly one line (which is no longer than 32,000 characters) of the form:
( E1 E2 . . . En )
where n > 0 and Ei is either T for true, F for false, or a sub-expression using the same format.
The trees at the deepest level are AND-trees. The last test case is followed by a dummy line made of ().
Output
For each test case, print the following line:
k. E
Where k is the test case number (starting at one,) and E is either true or false depending on the value of the expression in that test case.
Example
Input:
((F(TF))(TF))
(TFT)
((TFT)T)
()
Output:
1. false
2. false
3. true
hide comments
David:
2011-03-31 17:42:43
From problem statement, the deepest level is AND. Therefore the (TF) in ((TF)) is at the deepest level and hence is AND and the result is F. ((TF)) = (F) = F. Last edit: 2011-02-17 17:07:30 |
|
Rachmawan Atmaji Perdana:
2011-03-31 17:42:43
I'm confused about these test cases, why ((TF)) and ((FT)) false? |
|
:D:
2011-03-31 17:42:43
(1 && 0 && 1) == 1 |
|
~ adieus ~:
2011-03-31 17:42:43
can some one please explain ,why (TFT) is false ? |
Added by: | Omar ElAzazy |
Date: | 2010-12-27 |
Time limit: | 1s |
Source limit: | 50000B |
Memory limit: | 1536MB |
Cluster: | Cube (Intel G860) |
Languages: | All except: ASM64 |
Resource: | ACPC 2010 |