2018-04-29
φ = C1^C2^C3
C1=(x1 v x2 v ¬x4), C2=(¬x1 v ¬x2 v ¬x3), and C3=(¬x2 v x3 v x4)
| x1 | x2 | x3 | x4 | C1 | C2 | C3 | |
| v1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| v1' | 1 | 0 | 0 | 0 | 0 | 1 | 0 |
| v2 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
| v2' | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
| v3 | 0 | 0 | 1 | 0 | 0 | 0 | 1 |
| v3' | 0 | 0 | 1 | 0 | 0 | 1 | 0 |
| v4 | 0 | 0 | 0 | 1 | 0 | 0 | 1 |
| v4' | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| s1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| s1' | 0 | 0 | 0 | 0 | 2 | 0 | 0 |
| s2 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| s2' | 0 | 0 | 0 | 0 | 0 | 2 | 0 |
| s3 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| s3' | 0 | 0 | 0 | 0 | 0 | 0 | 2 |
| 1 | 1 | 1 | 1 | 4 | 4 | 4 |
x1 = false, x2 = true, x3 = false, x4 = true.
We then pick v1'+ v2 + v3' + v4 + s1' + s2 + s2' + s3' which is 1111 444
(Edited: 2018-04-29) φ = C1^C2^C3
C1=(x1 v x2 v ¬x4), C2=(¬x1 v ¬x2 v ¬x3), and C3=(¬x2 v x3 v x4)
{|
|-
| || x1 || x2 || x3 || x4 || C1 || C2 || C3
|-
| v1 || 1 || 0 || 0 || 0 || 1 || 0 || 0
|-
| v1' || 1 || 0 || 0 || 0 || 0 || 1 || 0
|-
| v2 || 0 || 1 || 0 || 0 || 1 || 0 || 0
|-
| v2' || 0 || 1 || 0 || 0 || 0 || 1 || 1
|-
| v3 || 0 || 0 || 1 || 0 || 0 || 0 || 1
|-
| v3' || 0 || 0 || 1 || 0 || 0 || 1 || 0
|-
| v4 || 0 || 0 || 0 || 1 || 0 || 0 || 1
|-
| v4' || 0 || 0 || 0 || 1 || 1 || 0 || 0
|-
| s1 || 0 || 0 || 0 || 0 || 1 || 0 || 0
|-
| s1' || 0 || 0 || 0 || 0 || 2 || 0 || 0
|-
| s2 || 0 || 0 || 0 || 0 || 0 || 1 || 0
|-
| s2' || 0 || 0 || 0 || 0 || 0 || 2 || 0
|-
| s3 || 0 || 0 || 0 || 0 || 0 || 0 || 1
|-
| s3' || 0 || 0 || 0 || 0 || 0 || 0 || 2
|-
| || 1 || 1 || 1 || 1 || 4 || 4 || 4
|}
x1 = false, x2 = true, x3 = false, x4 = true.
We then pick v1'+ v2 + v3' + v4 + s1' + s2 + s2' + s3' which is 1111 444
^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^
φ = C1^C2^C3
C1=(x1 v x2 v ¬x4), C2=(¬x1 v ¬x2 v ¬x3), and C3=(¬x2 v x3 v x4)
x1 x2 x3 x4 C1 C2 C3
v1 1 0 0 0 1 0 0
v1' 1 0 0 0 0 1 0
v2 0 1 0 0 1 0 0
v2' 0 1 0 0 0 1 1
v3 0 0 1 0 0 0 1
v3' 0 0 1 0 0 1 0
v4 0 0 0 1 0 0 1
v4' 0 0 0 1 1 0 0
s1 0 0 0 0 1 0 0
s1' 0 0 0 0 2 0 0
s2 0 0 0 0 0 1 0
s2' 0 0 0 0 0 2 0
s3 0 0 0 0 0 0 1
s3' 0 0 0 0 0 0 2
1 1 1 1 4 4 4
x1 = false, x2 = true, x3 = false, x4 = true.
We then pick v1'+ v2 + v3' + v4 + s1' + s2 + s2' + s3' which is 1111 444
<nowiki>
^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^
φ = C1^C2^C3
C1=(x1 v x2 v ¬x4), C2=(¬x1 v ¬x2 v ¬x3), and C3=(¬x2 v x3 v x4)
x1 x2 x3 x4 C1 C2 C3
v1 1 0 0 0 1 0 0
v1' 1 0 0 0 0 1 0
v2 0 1 0 0 1 0 0
v2' 0 1 0 0 0 1 1
v3 0 0 1 0 0 0 1
v3' 0 0 1 0 0 1 0
v4 0 0 0 1 0 0 1
v4' 0 0 0 1 1 0 0
s1 0 0 0 0 1 0 0
s1' 0 0 0 0 2 0 0
s2 0 0 0 0 0 1 0
s2' 0 0 0 0 0 2 0
s3 0 0 0 0 0 0 1
s3' 0 0 0 0 0 0 2
1 1 1 1 4 4 4
x1 = false, x2 = true, x3 = false, x4 = true.
We then pick v1'+ v2 + v3' + v4 + s1' + s2 + s2' + s3' which is 1111 444
</nowiki>
2018-05-01
x1 x2 x3 x4 C1 C2 C3v1 1 0 0 0 1 0 0 v1' 1 0 0 0 0 1 0 v2 0 1 0 0 1 0 0 v2' 0 1 0 0 0 1 1 v3 0 0 1 0 0 0 1 v3' 0 0 1 0 0 1 0 v4 0 0 0 1 0 0 1 v4' 0 0 0 1 1 0 0 s1 0 0 0 0 1 0 0 s1' 0 0 0 0 2 0 0 s2 0 0 0 0 0 1 0 s2' 0 0 0 0 0 2 0 s3 0 0 0 0 0 0 1 s3' 0 0 0 0 0 0 2
1 1 1 1 4 4 4
x1 = false; x2 = true; x3 = false; x4 = true.
We therefore pick v1'+ v2 + v3' + v4 + s1' + s2 + s2' + s3', which gives 1111 444.
(Edited: 2018-05-01) x1 x2 x3 x4 C1 C2 C3
v1 1 0 0 0 1 0 0
v1' 1 0 0 0 0 1 0
v2 0 1 0 0 1 0 0
v2' 0 1 0 0 0 1 1
v3 0 0 1 0 0 0 1
v3' 0 0 1 0 0 1 0
v4 0 0 0 1 0 0 1
v4' 0 0 0 1 1 0 0
s1 0 0 0 0 1 0 0
s1' 0 0 0 0 2 0 0
s2 0 0 0 0 0 1 0
s2' 0 0 0 0 0 2 0
s3 0 0 0 0 0 0 1
s3' 0 0 0 0 0 0 2
1 1 1 1 4 4 4
x1 = false; x2 = true; x3 = false; x4 = true.
We therefore pick v1'+ v2 + v3' + v4 + s1' + s2 + s2' + s3', which gives 1111 444.
(c) 2024 Yioop - PHP Search Engine