search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Corrected typos in expressions #29

Closed ssahai closed 7 years ago

ssahai commented 7 years ago

Here, in Logical Junctions, the second example is equivalent to : (T \/ T \/ F) , instead of what is written : T /\ (T \/ F)

hwayne commented 7 years ago

Quick double check:

image

Yup, it should have been (T \/ T \/ F). Thanks for catching that!