2. S2: Formula List
3. a: Assignment
4.
F
S1.a |
F 
FS2.a |= F 5.
FS1.a |= F & FS2.a | F
False S False
i.UnfoldTopAb i THEN AbReduce i)| 1 | 1. S1: Formula List 2. S2: Formula List 3. a: Assignment 4. FS1.a | F FS2.a |= F 5. FS1.a |= F & FS2.a | F False |
About:
 |