最小聯結片語

有17個最小聯結片語(如果認為包含true和false的不是最小聯結片語，那麼最小聯結片語只有11個)

not(or)        |

not(=>) |not |
not(and) |
not |and |
not(=>) |not(xor) |
false |and |not(xor) |
xor |and |not(xor) |
false |=> |
not(=>) |=> |
not |=> |
xor |=> |
not |or |
false |not(xor) |or |
xor |not(xor) |or |
not(=>) |true |
xor |and |true |
xor |or |true |

not(or)

not(and)
not,or
not,and
not,=>
not,not(=>)
not(=>),=>
not(=>),true 
not(=>),not(xor) 
=>,false
=>,xor
xor,and,not(xor)
xor,or,not(xor)
xor,and,true 
xor,or,true
not(xor),and,false
not(xor),or,false 
xor功能比false更豐富，因為false = a xor a，所以一切出現false的地方都可以用xor取代

#include#include#include#includeusing namespace std;

const int n = 1 << 16;//there are 65536 probability.
bool a[16][4]; //a 10 b 12
const char *desc[16] = ;
const char*desc_******[16] = ;
/*上表中，只有條件運算子和非條件運算子是不滿**換律，但是它們是等價的
也就是說：2，4等價，11，13等價,3,5等價
*/int eq = , eq_size = 3;
void init()
}}void show(int n)
void table()
int ans[n], ai = 0;//儲存全部的答案
//判斷集合set是否是完備的邏輯片語
bool ok(int n)
}return n == n - 1;
}void print(bool detail)
}puts("");
if (detail)
puts("");}}
}//根據eq陣列去掉等價的元素
void ******()
}ans[i] = n;
for (int j = 0; j < i; j++)
if (ans[i] == ans[j])
ans[i] = -1;
}int ind = 0;
for (int i = 0; i < ai; i++)
if (ans[i] != -1)ans[ind++] = ans[i];
ai = ind;
}bool visited(int x)
int main()
******();
print(false);
return 0;
}

1 1聯結詞真值運算

time limit 1000 ms memory limit 65536 kib submit statistic problem description 已知命題變元p和q的真值，求它們的合取式 p q 析取式 p q 蘊涵式 p q 等值式 a b 與非式 p q 或非式 p q 的真值。in...

1 1聯結詞真值運算

time limit 1000 ms memory limit 65536 kib problem description 已知命題變元p和q的真值，求它們的合取式 p q 析取式 p q 蘊涵式 p q 等值式 a b 與非式 p q 或非式 p q 的真值。input 多組輸入，每組測試資料輸入...

4148 1 1聯結詞真值運算

1.1聯結詞真值運算 time limit 1000 ms memory limit 65536 kib submit statistic discuss problem description 已知命題變元p和q的真值，求它們的合取式 p q 析取式 p q 蘊涵式 p q 等值式 a b 與非式...