Fixed a bug in H(A,B) in NoTruth
Merge remote-tracking branch 'upstream/master'
Merge pull request #3 from sidnarayanan/master

fixed H(A,B) in no truth