求一个逻辑运算结果

Question

如下所示, 用A,B,C这些子条件来表达结果isPass是这样的,
boolean isPass = (A1 && B1) || (A2 && B2) || (A3 && B3);

那么用设boolean isNotPass = ! isPass;

怎么用那些A,B,C子条件来表达isNotPass呢?

"!(A1 && B1) && !(A2 && B2) && !(A3 && B3)"好像不对.

Answer 1

同楼上。楼主原本的"!(A1 && B1) && !(A2 && B2) && !(A3 && B3)"其实没问题。

不敢相信自己的计算就试试看相信自己的眼睛吧，呵呵。执行这段C#代码：
[code="c#"]using System;
using System.Linq;

static class Program {
static void Main(string[] args) {
var booleanValues = new [] { true, false };
var equal = !(from a1 in booleanValues
from a2 in booleanValues
from a3 in booleanValues
from b1 in booleanValues
from b2 in booleanValues
from b3 in booleanValues
select !((a1 && b1) || (a2 && b2) || (a3 && b3)) ==
(!(a1 && b1) && !(a2 && b2) && !(a3 && b3)))
.Contains(false);
Console.WriteLine(equal); // true
}
}[/code]
会验证6个变量组成的表达式是否总是同真假。我这边执行结果是true。我相信我的眼睛 ^ ^

要让它输出真值表也行：
[code="c#"]using System;
using System.Linq;

static class Program {
static void Main(string[] args) {
var booleanValues = new [] { true, false };
var result = from a1 in booleanValues
from a2 in booleanValues
from a3 in booleanValues
from b1 in booleanValues
from b2 in booleanValues
from b3 in booleanValues
select string.Format(
"!(({0} && {3}) || ({1} && {4}) || ({2} && {5}))) == {6}",
a1, a2, a3, b1, b2, b3,
!((a1 && b1) || (a2 && b2) || (a3 && b3)));
foreach (var s in result) {
Console.WriteLine(s);
}
}
}[/code]
[quote]!((True && True) || (True && True) || (True && True))) == False
!((True && True) || (True && True) || (True && False))) == False
!((True && True) || (True && False) || (True && True))) == False
!((True && True) || (True && False) || (True && False))) == False
!((True && False) || (True && True) || (True && True))) == False
!((True && False) || (True && True) || (True && False))) == False
!((True && False) || (True && False) || (True && True))) == False
!((True && False) || (True && False) || (True && False))) == True
!((True && True) || (True && True) || (False && True))) == False
!((True && True) || (True && True) || (False && False))) == False
!((True && True) || (True && False) || (False && True))) == False
!((True && True) || (True && False) || (False && False))) == False
!((True && False) || (True && True) || (False && True))) == False
!((True && False) || (True && True) || (False && False))) == False
!((True && False) || (True && False) || (False && True))) == True
!((True && False) || (True && False) || (False && False))) == True
!((True && True) || (False && True) || (True && True))) == False
!((True && True) || (False && True) || (True && False))) == False
!((True && True) || (False && False) || (True && True))) == False
!((True && True) || (False && False) || (True && False))) == False
!((True && False) || (False && True) || (True && True))) == False
!((True && False) || (False && True) || (True && False))) == True
!((True && False) || (False && False) || (True && True))) == False
!((True && False) || (False && False) || (True && False))) == True
!((True && True) || (False && True) || (False && True))) == False
!((True && True) || (False && True) || (False && False))) == False
!((True && True) || (False && False) || (False && True))) == False
!((True && True) || (False && False) || (False && False))) == False
!((True && False) || (False && True) || (False && True))) == True
!((True && False) || (False && True) || (False && False))) == True
!((True && False) || (False && False) || (False && True))) == True
!((True && False) || (False && False) || (False && False))) == True
!((False && True) || (True && True) || (True && True))) == False
!((False && True) || (True && True) || (True && False))) == False
!((False && True) || (True && False) || (True && True))) == False
!((False && True) || (True && False) || (True && False))) == True
!((False && False) || (True && True) || (True && True))) == False
!((False && False) || (True && True) || (True && False))) == False
!((False && False) || (True && False) || (True && True))) == False
!((False && False) || (True && False) || (True && False))) == True
!((False && True) || (True && True) || (False && True))) == False
!((False && True) || (True && True) || (False && False))) == False
!((False && True) || (True && False) || (False && True))) == True
!((False && True) || (True && False) || (False && False))) == True
!((False && False) || (True && True) || (False && True))) == False
!((False && False) || (True && True) || (False && False))) == False
!((False && False) || (True && False) || (False && True))) == True
!((False && False) || (True && False) || (False && False))) == True
!((False && True) || (False && True) || (True && True))) == False
!((False && True) || (False && True) || (True && False))) == True
!((False && True) || (False && False) || (True && True))) == False
!((False && True) || (False && False) || (True && False))) == True
!((False && False) || (False && True) || (True && True))) == False
!((False && False) || (False && True) || (True && False))) == True
!((False && False) || (False && False) || (True && True))) == False
!((False && False) || (False && False) || (True && False))) == True
!((False && True) || (False && True) || (False && True))) == True
!((False && True) || (False && True) || (False && False))) == True
!((False && True) || (False && False) || (False && True))) == True
!((False && True) || (False && False) || (False && False))) == True
!((False && False) || (False && True) || (False && True))) == True
!((False && False) || (False && True) || (False && False))) == True
!((False && False) || (False && False) || (False && True))) == True
!((False && False) || (False && False) || (False && False))) == True[/quote]