Doubtful behavior on (P=>Q)

[ninjarabs]

Dears, Mr.Donze
I found propositional logic judgement(P=>Q) that I don't understand why it occurred.
Please refer summary result in attach file(QA.xlsx)
(Although I tried to check in source code STL_EvalThom.m line:172 but I don't know purpose of logic yet)

So, I don't sure that I misunderstand something or the script that I use for test have something wrong.
But in case of this issue is classified as need to revise. I wonder if you could fix this issue.
Thanks for your consideration.

                        Best Regards,
                          Nattawut K.

Reference file

1. Summary result(xlsx)
   QA.xlsx
2. Trial Script(.zip)
   check_ev.zip

[slivingston]

@ninjarabs can you share the results in plaintext or Markdown format, so that we can avoid opening an XLSX file or the ZIP file?

In general, those file types might act as attack vectors, so we should try to resolve the issue without using them if we can.

[slivingston]

you can find an introduction to formatting here at https://help.github.com/articles/about-writing-and-formatting-on-github/. worst case you can export the XLSX file to CSV and copy-and-paste it into a GitHub comment box.

[ninjarabs]

@slivingston thanks for your suggestion.
Detail in Summary result.xlsx will be as following below

While I try to run Breach toolbox for confirm correctness of propositional logic(imply[=>]), I found misunderstand point as following.

Truth table for imply

P	Q	P=>Q
T	T	T
T	F	F
F	T	T
F	F	T

In timing[0,1] when {P,Q}={0,0}, Bool. Sat line that come from tool not follow above truth table.

[choshina]

Dear Nattawut:

Have you solved the problem? We encountered a similar case. I appreciate it very much if you can share the progress.

Thanks!

Best,
Zhenya

[ninjarabs]

Dear Zhenya,
I sorry to said that I don't get any answer as well. But I never try to directly contact to developer.
I think you should try to mail to developer(info@decyphir.com)

regards,
Nattawut

[choshina]

Dear Nattawut:

Thank you very much! I will let you know if I have progress.

Best,
Zhenya

[alexdecyphir]

Dear all,
Really sorry for the very late response on this. I recently pushed a new version of Breach on Github and I wonder if you would try again the suspicious behaviors you were experiencing.

Nattawut, the plot you showed above is clearly very strange. I got your code and played around with it and everything behaves as expected (though some outputs may be strange at first sight, but I can explain) - I couldn't reproduce something similar to what you shared.

Zhenya, can you elaborate on the similar case you experienced recently?

Best,
Alex

[choshina]

Dear Alex:

Thanks for your reply!

I have rerun the same script but now I got a different result. I attach the script and two different figures. The Breach versions I use are both 1.2.13. The Matlab versions are both 2017b, but the releases are possibly different.

The result we get now (shown in fignew) is as expected, but what we got previously (shown in figold) was unexpected.

Thank you!

Best,
Zhenya
breach_result.zip