-
Notifications
You must be signed in to change notification settings - Fork 17
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
1/0 instead of 0/1 #3
Comments
Hi Ceredril,
I'm glad you find the program useful, and thanks for the suggestion about 0
and 1. I just did a google image search and noticed that you're right,
tables that use 0 and 1 do sometimes seem to start with the 0's row --- I'm
guessing that this convention may come from computer science, in logic the
convention is to start with the 1's.
Michael
…On Fri, Jan 28, 2022 at 11:22 AM Ceredril ***@***.***> wrote:
Hey there,
i really like using the life version of your program as it saves me time
for getting tables into LaTex.
However (just a mild inconvenience) it only gives the option to output the
Truth-Values of T/F, ⊤/⊥ and 1/0.
Personally i think starting at 0 and changing to 1 is a much more standard
way for a truth table, which is why i wanted to mention this to you.
Have a good day!
—
Reply to this email directly, view it on GitHub
<#3>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ABSCKHOUWTHEQ4NG4JJTBZ3UYK7EZANCNFSM5NBFRSCA>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
Hey Michael, i was just wondering how difficult it would be to implement this as an option. Obviously you dont have any obligation to do this but how long would it take? Would you be interested in me helping with this issue by suggesting code changes? Best Regards |
Hi Leonard,
I think it probably wouldn't be too hard to do, the table is an array in
the code so it would just be a matter of reordering the rows in the
array. But I don't really want to add yet another option to for users to
select, I feel like it'll make the interface get increasingly cluttered
without much added benefit. Thanks for the suggestion though.
Michael
…On Sun, Feb 6, 2022 at 1:11 PM Ceredril ***@***.***> wrote:
Hey Michael,
i was just wondering how difficult it would be to implement this as an
option. Obviously you dont have any obligation to do this but how long
would it take? Would you be interested in me helping with this issue by
suggesting code changes?
Best Regards
Leonard
—
Reply to this email directly, view it on GitHub
<#3 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ABSCKHJXTUPXVYTLNJAQJ4TUZ22UTANCNFSM5NBFRSCA>
.
Triage notifications on the go with GitHub Mobile for iOS
<https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675>
or Android
<https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>.
You are receiving this because you commented.Message ID:
***@***.***>
|
Alright. I think it would be a good addition but i can see your point. Have a nice day! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hey there,
i really like using the life version of your program as it saves me time for getting tables into LaTex.
However (just a mild inconvenience) it only gives the option to output the Truth-Values of T/F, ⊤/⊥ and 1/0.
Personally i think starting at 0 and changing to 1 is a much more standard way for a truth table, which is why i wanted to mention this to you.
Have a good day!
The text was updated successfully, but these errors were encountered: