tuwien2020 / tgi-pages

Open tools for the TGI course at the TU Vienna

https://tuwien2020.github.io/tgi-pages/#/

The Unlicense

12 stars 5 forks source link

Closed Fancy11111 closed 2 years ago

Fancy11111 commented 2 years ago

Truthtable

! does not work for negation anymore

Go to the truthtable (truth-table) Enter !a and b (see Image 1) or a or !b (see image 2) or any other formula with a ! in it.

Fancy11111 commented 2 years ago

@stefnotch Can you look at this?

Fancy11111 commented 2 years ago

Apparently not doesn't work either

Fancy11111 commented 2 years ago

Also, the generated latex for if and equals is messed up