【c++】使用assert编写测试用例

例子

著名的德摩根定律公式如下，请使用逻辑运算符验证该定律。

分析

可以想到用逻辑与（&&）代替∪，逻辑或代替∩（||），最后用逻辑非（！）代替取反
那么可以写出这两行代码

！(A&&B)==!A||!B
!(A||B)==!A&&!B

可以定义A，B皆为bool类型，将结果输出，得到1便验证成功了。
仔细想想可以优化一下：A，B为bool类型，各有两种取值共四种情况。
1.A 为 false，B 为false；
2.A 为false，B 为true；
3.A 为true，B 为true；
4.A 为true，B为false；
总用cout<<endl;输出也不是办法，下面使用assert将这四种情况一一验证

使用断言

使用assert需要包含头文件

#include <