Please enable JavaScript.
Coggle requires JavaScript to display documents.
Post’s completeness criterion - Coggle Diagram
Post’s completeness criterion
P3
若输出为1的输入中1的个数为奇数，则输出为0的输入中1的个数为偶数/若输出为1的输入中1的个数为偶数，则输出为0的输入中1的个数为奇数
判断数组第一个元素最后一位数字是 F/T，统计之前位一共有几个T
最后一位是F
偶数个T输入
要求判别整个程序是否满足 每一组存在偶数个T的输入其对应输出为F 且 每一组存在奇数个T的输入其对应输出为T（A）
奇数个T输入
要求判别整个程序是否满足 每一组存在偶数个T的输入其对应输出为T 且 每一组存在奇数个T的输入其对应输出为F（B）
最后一位是T
偶数个T输入
B
奇数个T输入
A
P1
输入全为0，输出为0
判断数组中是否保存全F数组
P4
如果输入中任意0变1，则输出中0可能变1，但1绝不会变0
P5
输入对应的输出值= 原输入中每个元素的not对应的输入 对应的输出
P2
输入全为1，输出为1
判断数组中是否保存全T数组